Вы здесь

Leveson N. G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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