Contact DMCA Privacy

Robuta

https://www.unifr.ch/inf/fds/en/research/topics/topic2.html
Model Checking | Foundations of Dependable Systems Group | University of Fribourg
model checkingdependable systemsfoundationsgroupuniversity
https://www.arxiv.org/abs/1009.3462
[1009.3462] On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
Abstract page for arXiv paper 1009.3462: On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
modellinganalysisdynamicreconfiguration
https://depend.cs.uni-saarland.de/index.php?id=599
Dependable Systems and Software: D-CON 2016 Draft Schedule
dependable systemssoftwarecondraftschedule