СТ |
Auto-generating Test Sequences Using Model Checkers: A Case Study |
2004 |
Heimdahl M.P. E., Rayadurgam S., Visser W., Devaraj G., Gao J. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
СТ |
Completeness and Consistency in Hierarchical State-Based Requirements |
1996 |
Heimdahl M.P. E., Leveson N. G. |
|
|
|
IEEE Transactions on Software Engineering |
17.09.1996 |
СТ |
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future |
1999 |
Leveson N. G., Heimdahl M.P. E., Reese J. D. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
СТ |
Specification-Based Prototyping for Embedded Systems |
1999 |
Thompson J. M., Heimdahl M.P. E., Miller S. P. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |