|
СТ |
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 |
|
СТ |
Intent Specifications: An Approach to Building Human-Centered Specifications |
2000 |
Leveson N. G. |
|
|
|
IEEE Trans. on Software Engineering |
02.04.2002 |
|
СТ |
An Approach to Designing Safe Embedded Software |
2002 |
Leveson N. G. |
|
|
|
Lecture Notes in Computer Science |
11.11.2002 |
