|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs |
Javier Esparza |
2004 |
62 | 2 |
p. 197-220 |
artikel |
|
| 2 | Detecting State Encoding Conflicts in STG Unfoldings Using SAT |
Victor Khomenko |
2004 |
62 | 2 |
p. 221-241 |
artikel |
|
| 3 | Formal Refinement Checking in a System-level Design Methodology |
Jean-Pierre Talpin |
2004 |
62 | 2 |
p. 243-273 |
artikel |
|
| 4 | Preface |
Ryszard Janicki |
2004 |
62 | 2 |
p. i-ii |
artikel |
|
| 5 | Quasi-static Scheduling for Concurrent Architectures |
Jordi Cortadella |
2004 |
62 | 2 |
p. 171-196 |
artikel |
|
| 6 | Synthesis of Open Reactive Systems from Scenario-Based Specifications |
Yves Bontemps |
2004 |
62 | 2 |
p. 139-169 |
artikel |
6 gevonden resultaten