Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Ylìès Falcone | Researchclopedia
Back to researchers
Ylìès Falcone
Institut polytechnique de Grenoble
ORCID
Top Works
Security and Verification in Computing
Distributed systems and fault tolerance
What can you verify and enforce at runtime?
Ylìès Falcone
,
Jean-Claude Fernandez
,
et al.
2011
151 citations