|
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 | Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems |
Bultan, Tevfik |
2008 |
12 | 1-2 |
p. 97-137 |
artikel |
|
| 2 | A time Petri net-based method for embedded hard real-time software synthesis |
Barreto, Raimundo |
2008 |
12 | 1-2 |
p. 31-62 |
artikel |
|
| 3 | MEMOCODE 2006 guest editors’ introduction |
Hoe, James C. |
2008 |
12 | 1-2 |
p. 95 |
artikel |
|
| 4 | Mining metadata for composability of IPs from SystemC IP library |
Mathaikutty, Deepak A. |
2008 |
12 | 1-2 |
p. 63-94 |
artikel |
|
| 5 | SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system |
Mathaikutty, Deepak A. |
2008 |
12 | 1-2 |
p. 1-30 |
artikel |
|
| 6 | Specifying and proving properties of timed I/O automata using Tempo |
Archer, Myla |
2008 |
12 | 1-2 |
p. 139-170 |
artikel |
6 gevonden resultaten