СТ |
Teaching Real-Time Systems Around a Digital Model Railroad Using Ada |
2004 |
Alvarez B., Pastor J. A., Ortiz F., Sanchez P., Navarro P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
СТ |
Validation of UML Classes through Animation |
2003 |
Letelier P., Sanchez P. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
СТ |
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST |
2003 |
Ortiz F., Alvarez B., Pastor J. A., Sanchez P. |
|
|
|
Lecture Notes in Computer Science |
28.06.2003 |
СТ |
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program |
1999 |
Letelier P., Sanchez P., Ramos I. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
П |
Design Decision for the FTM: A General Purpose Fault Tolerant Machine |
1991 |
Banatre M., Muller G., Rochat B., Sanchez P. |
|
|
INRIA |
|
16.10.1991 |