|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A method and tool for tracing requirements into specifications |
Hallerstede, Stefan |
2014 |
82 | C |
p. 2-21 20 p. |
article |
|
| 2 | A symbolic model checking approach to verifying satellite onboard software |
Gan, Xiang |
2014 |
82 | C |
p. 44-55 12 p. |
article |
|
| 3 | Automatically refining partial specifications for heap-manipulating programs |
Qin, Shengchao |
2014 |
82 | C |
p. 56-76 21 p. |
article |
|
| 4 | Concurrency control generation for dynamic threads using discrete-event systems |
Auer, Anthony |
2014 |
82 | C |
p. 22-43 22 p. |
article |
|
| 5 | Software verification with VeriFast: Industrial case studies |
Philippaerts, Pieter |
2014 |
82 | C |
p. 77-97 21 p. |
article |
|
| 6 | Special issue on Automated Verification of Critical Systems (AVoCS’11) |
Jones, Cliff |
2014 |
82 | C |
p. 1- 1 p. |
article |
6 results found