|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs |
Javier Esparza |
2004 |
62 | 2 |
p. 197-220 |
article |
|
| 2 | Detecting State Encoding Conflicts in STG Unfoldings Using SAT |
Victor Khomenko |
2004 |
62 | 2 |
p. 221-241 |
article |
|
| 3 | Formal Refinement Checking in a System-level Design Methodology |
Jean-Pierre Talpin |
2004 |
62 | 2 |
p. 243-273 |
article |
|
| 4 | Preface |
Ryszard Janicki |
2004 |
62 | 2 |
p. i-ii |
article |
|
| 5 | Quasi-static Scheduling for Concurrent Architectures |
Jordi Cortadella |
2004 |
62 | 2 |
p. 171-196 |
article |
|
| 6 | Synthesis of Open Reactive Systems from Scenario-Based Specifications |
Yves Bontemps |
2004 |
62 | 2 |
p. 139-169 |
article |
6 results found