Вы здесь

Felder M.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verification of Real-Time Designs: Combining Sheduling Theory with Automatic Formal Verification 1999 Braberman V. A., Felder M. Lecture Notes in Computer Science 14.10.1999
СТ A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets 1994 Felder M., Morzenti A. Lecture Notes in Artificial Intelligence 12.08.1994
СТ Real-Time Systems: A Survey of Approaches to Formal Specification and Verification 1993 Ghezzi C., Felder M., Bellettini C. Lecture Notes in Computer Science 21.10.1993
СТ Analyzing Refinements of State Based Specifications: The Case of TB Nets 1993 Felder M., Ghezzi C., Pezze M. Software Engineering Notes 29.09.1993