|
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 | Back to the format: A survey on SOS for probabilistic processes |
Castiglioni, Valentina |
|
137 | C |
p. |
artikel |
|
| 2 | Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic |
Schneider, Sven |
|
137 | C |
p. |
artikel |
|
| 3 | Bridging formal methods and machine learning with model checking and global optimisation |
Bensalem, Saddek |
|
137 | C |
p. |
artikel |
|
| 4 | Editorial Board |
|
137 | C |
p. |
artikel |
||
| 5 | Formally verified animation for RoboChart using interaction trees |
Ye, Kangfeng |
|
137 | C |
p. |
artikel |
|
| 6 | On proving that an unsafe controller is not proven safe |
Selvaraj, Yuvaraj |
|
137 | C |
p. |
artikel |
|
| 7 | Protocol choice and iteration for the free cornering |
Nester, Chad |
|
137 | C |
p. |
artikel |
|
| 8 | Trace preservation in B and Event-B refinements |
Stock, Sebastian |
|
137 | C |
p. |
artikel |
8 gevonden resultaten