СТ |
A Model Based Development Approach for Distributed Embedded Systems |
2004 |
Gilliers F., Kordon F., Regep D. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
СТ |
A Modular Approach to the Specification and Validation of an Electrical Flight Control System |
2001 |
Doche M., Vernier-Mounier I., Kordon F. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
СТ |
Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System |
2001 |
Bakam I., Kordon F., Le Page C., Bousquet F. |
|
|
|
Lecture Notes in Artificial Intelligence |
05.11.2001 |
СТ |
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines |
1999 |
Kordon F. |
|
|
|
Lecture Notes in Computer Science |
29.06.1999 |
СТ |
PN Standartization: A Survey |
2006 |
Hillah L., Kordon F., Petrucci L., Treves N. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
11.01.2007 |
СТ |
PoluORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications |
2004 |
Vergnaud T., Hugues J., Pautet L., Kordon F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |