Вы здесь

Главная

Ravn A. P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Real-Time Constraints Through trhe ProCoS Layers 1999 Ravn A. P., Rischel H. Lecture Notes in Computer Science 20.11.1999
СТ Development of Safety-Critical Real-Time Systems 1995 Rischel H., Cuellar J., Mork S., Ravn A. P., Wildgruber I. Lecture Notes in Computer Science 19.01.1996
СТ Provably Correct Systems 1994 He J., Hoare C.A. R., Franzle M., Muller-Olm M., Olderog E. -R., Schenke M., Hansen M. R., Ravn A. P., Rischel H. Lecture Notes in Computer Science 19.10.1994
СТ A Formal Approach to Computer Systems Requirements Documentation 1993 Engel M., Kubica M., Madey J., Parnas D. L., Ravn A. P., Van Schouwen A. J. Lecture Notes in Computer Science 09.12.1993
СТ An Extended Duration Calculus for Hybrid Real-Time Systems 1993 Chaochen Z., Ravn A. P., Hansen M. R. Lecture Notes in Computer Science 08.12.1993
СТ Specifying and Verifying Requirements of Real-Time Systems 1991 Hansen K. M., Ravn A. P., Rischel H. Software Engineering Notes 03.04.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009 2009 Lecture Notes in Computer Science
  1. Liu Z.
  2. Ravn A. P.
 24.03.2010
СБ Formal Techniques in Real-Time and Fault-Tolerant Systems: Proc./5th Intern. Symp., FTRTFT 98. Lyngby, Denmark, September 1998 1998 Lecture Notes in Computer Science
  1. Ravn A. P.
  2. Rischel H.
 03.10.1998
СБ Hybrid Systems 1993 Lecture Notes in Computer Science
  1. Grossman R. L.
  2. Nerode A.
  3. Ravn A. P.
  4. Rischel H.
 07.12.1993