
Emil Dumitrescu
39
Documents
Publications
14
9
8
7
7
6
6
5
5
4
4
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
2
1
1
1
2
1
1
4
1
4
2
1
1
3
2
5
1
1
Publications
|
Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis2004
Pré-publication, Document de travail
hal-00419542
v1
|
|
A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking2003
Pré-publication, Document de travail
hal-00419534
v1
|
|
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems[Research Report] RR-6137, INRIA. 2007, pp.35
Rapport
(rapport de recherche)
inria-00134550
v2
|
Chargement...
Chargement...