Miller S. P.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	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
СТ	Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods	1996	Srivas M. K., Miller S. P.				Formal Methods in System Design	28.06.1996