Vicario, Enrico
VIAF ID: 1786324 ( Personal )
Permalink: http://viaf.org/viaf/1786324
Preferred Forms
- 100 1 _ ‡a Vicario, Enrico
-
-
-
- 100 1 _ ‡a Vicario, Enrico
- 100 1 0 ‡a Vicario, Enrico
Works
Title | Sources |
---|---|
Analyse d'ordonnancement des systèmes probabilistes en temps réel. | |
Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings | |
Image description and retrieval, c1998: | |
Modélisation et analyse de systèmes stochastiques et temps réel | |
New Frontiers in Quantitative Methods in Informatics : 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers | |
Schedulability Analysis of Probabilistic Real-Time Systems |