title = {Constructive Verification for Component-based Systems },
author = {Nguyen, Thanh-Hung},
month = {May},
year = {2010},
school = {Universite de Grenoble},
team = {DCS},
}
bibtex
@phdthesis{Ngu10a,
title = {Constructive Verification for Component-based Systems },
author = {Nguyen, Thanh-Hung},
month = {May},
year = {2010},
school = {Universite de Grenoble},
team = {DCS},
}
title = {Constructive Verification for Component-based Systems },
author = {Nguyen, Thanh-Hung},
month = {May},
year = {2010},
school = {Universite de Grenoble},
team = {DCS},
}
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- Séminaires
- 25 juin 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 juin 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 juin 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 2 juillet 2019 Indranil Saha : Developing autonomous multi-robot systems for complex missions
- 4 juillet 2019 Radu Iosif: Alternating automata modulo first order theories
- 11 juillet 2019 Eric Gascard: Quantitative analysis of dynamic fault trees by means of monte carlo simulations: (...)
Séminaires
Nouvelles publications
- Publications
Récentes
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem: Predictability in Mixed-Criticality Systems
