|
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 | Application of static analyses for state-space reduction to the microcontroller binary code |
Schlich, Bastian |
2011 |
76 | 2 |
p. 100-118 19 p. |
artikel |
|
| 2 | A state/event-based model-checking approach for the analysis of abstract system properties |
ter Beek, Maurice H. |
2011 |
76 | 2 |
p. 119-135 17 p. |
artikel |
|
| 3 | Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving |
van Gastel, Bernard |
2011 |
76 | 2 |
p. 82-99 18 p. |
artikel |
|
| 4 | Flash memory efficient LTL model checking |
Edelkamp, S. |
2011 |
76 | 2 |
p. 136-157 22 p. |
artikel |
|
| 5 | Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API |
Li, Guodong |
2011 |
76 | 2 |
p. 65-81 17 p. |
artikel |
|
| 6 | Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008) |
Cofer, Darren |
2011 |
76 | 2 |
p. 63-64 2 p. |
artikel |
6 gevonden resultaten