Вы здесь

Raymond P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing 1999 Halbwachs N., Raymond P. Lecture Notes in Computer Science 28.12.1999
СТ Verification of Linear Hybrid Systems by Means of Convex Approximations 1994 Halbwachs N., Proy Y. -E., Raymond P. Lecture Notes in Computer Science 24.11.1994
СТ CLAO: An Object-Oriented Programming System for Distributed Memory Parallel Machines 1994 Desbiens J., Lavoie M., Pouzyreff S., Raymond P., Tamazourt T., Toulouse M. OOPS Messenger 15.06.1994
СТ Embedding Daclarative Subprograms into Imperative Constructs 1993 Jourdan M., Lagnier F., Maraninchi F., Raymond P. Lecture Notes in Computer Science 22.09.1993
СТ Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE 1991 Ratel C., Halbwachs N., Raymond P. Software Engineering Notes 03.04.1992