|
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 method and tool for tracing requirements into specifications |
Hallerstede, Stefan |
2014 |
82 | C |
p. 2-21 20 p. |
artikel |
|
| 2 | A symbolic model checking approach to verifying satellite onboard software |
Gan, Xiang |
2014 |
82 | C |
p. 44-55 12 p. |
artikel |
|
| 3 | Automatically refining partial specifications for heap-manipulating programs |
Qin, Shengchao |
2014 |
82 | C |
p. 56-76 21 p. |
artikel |
|
| 4 | Concurrency control generation for dynamic threads using discrete-event systems |
Auer, Anthony |
2014 |
82 | C |
p. 22-43 22 p. |
artikel |
|
| 5 | Software verification with VeriFast: Industrial case studies |
Philippaerts, Pieter |
2014 |
82 | C |
p. 77-97 21 p. |
artikel |
|
| 6 | Special issue on Automated Verification of Critical Systems (AVoCS’11) |
Jones, Cliff |
2014 |
82 | C |
p. 1- 1 p. |
artikel |
6 gevonden resultaten