Emil Dumitrescu
40
Documents
Publications
14
9
9
8
7
6
6
5
5
5
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
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 |
|
|
A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking2003 |
|
|
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems[Research Report] RR-6137, INRIA. 2007, pp.35 |
Chargement...
Chargement...