Вы здесь

Leveson N. G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Intent Specifications: An Approach to Building Human-Centered Specifications 2000 Leveson N. G. IEEE Trans. on Software Engineering 02.04.2002
СТ 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
СТ Completeness and Consistency in Hierarchical State-Based Requirements 1996 Heimdahl M.P. E., Leveson N. G. IEEE Transactions on Software Engineering 17.09.1996
СТ An Approach to Designing Safe Embedded Software 2002 Leveson N. G. Lecture Notes in Computer Science 11.11.2002