|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Approximate reduction of finite automata for high-speed network intrusion detection |
Češka, Milan |
|
22 | 5 |
p. 523-539 |
artikel |
|
| 2 | A study of learning likely data structure properties using machine learning models |
Usman, Muhammad |
|
22 | 5 |
p. 601-615 |
artikel |
|
| 3 | Dependency graphs with applications to verification |
Enevoldsen, Søren |
|
22 | 5 |
p. 635-654 |
artikel |
|
| 4 | Extracting safe thread schedules from incomplete model checking results |
Metzler, Patrick |
|
22 | 5 |
p. 565-581 |
artikel |
|
| 5 | Introduction to the special issue for SPIN 2019 |
Biondi, Fabrizio |
|
22 | 5 |
p. 563-564 |
artikel |
|
| 6 | Swarm model checking on the GPU |
DeFrancisco, Richard |
|
22 | 5 |
p. 583-599 |
artikel |
|
| 7 | Variable order metrics for decision diagrams in system verification |
Amparore, Elvio G. |
|
22 | 5 |
p. 541-562 |
artikel |
|
| 8 | VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance |
Yousefi, Farnaz |
|
22 | 5 |
p. 617-633 |
artikel |
8 gevonden resultaten