Вы здесь

Heimdahl M.P. E.

Автор:

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