|
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 calculus of trustworthy ad hoc networks |
Merro, Massimo |
2011 |
25 | 5 |
p. 801-832 |
artikel |
|
| 2 | Constructing and visualizing chemical reaction networks from pi-calculus models |
John, Mathias |
2011 |
25 | 5 |
p. 723-742 |
artikel |
|
| 3 | On theorem prover-based testing |
Brucker, Achim D. |
2012 |
25 | 5 |
p. 683-721 |
artikel |
|
| 4 | Statechartable Petri nets |
Eshuis, Rik |
2011 |
25 | 5 |
p. 659-681 |
artikel |
|
| 5 | Testing restorable systems: formal definition and heuristic solution based on river formation dynamics |
Rabanal, Pablo |
2012 |
25 | 5 |
p. 743-768 |
artikel |
|
| 6 | Towards formally specifying and verifying transactional memory |
Doherty, Simon |
2012 |
25 | 5 |
p. 769-799 |
artikel |
6 gevonden resultaten