|
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 | An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis |
Zhang, Zhen |
2016 |
118 | C |
p. 24-39 16 p. |
artikel |
|
| 2 | Assertion-based monitoring in practice – Checking correctness of an automotive sensor interface |
Nguyen, Thang |
2016 |
118 | C |
p. 40-59 20 p. |
artikel |
|
| 3 | Formal specification and verification of TCP extended with the Window Scale Option |
Lockefeer, Lars |
2016 |
118 | C |
p. 3-23 21 p. |
artikel |
|
| 4 | Improving static analyses of C programs with conditional predicates |
Blazy, Sandrine |
2016 |
118 | C |
p. 77-95 19 p. |
artikel |
|
| 5 | Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014) |
Lang, Frédéric |
2016 |
118 | C |
p. 1-2 2 p. |
artikel |
|
| 6 | Randomised testing of a microprocessor model using SMT-solver state generation |
Campbell, Brian |
2016 |
118 | C |
p. 60-76 17 p. |
artikel |
6 gevonden resultaten