СТ |
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 |