Bounded-memory runtime enforcement with probabilistic and performance analysis - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Methods in System Design Année : 2024
Fichier non déposé

Dates et versions

hal-04555219 , version 1 (22-04-2024)

Licence

Identifiants

Citer

Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone. Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods in System Design, 2024, ⟨10.1007/s10703-024-00446-1⟩. ⟨hal-04555219⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More