СТ |
Time in State Based Formal Description Techniques for Distributed Systems |
1992 |
Courtiat Jp., Diaz M. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
СТ |
Time Stream Petri Nets - A Model for Timed Multimedia Information |
1994 |
Diaz M., Senac P. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
СТ |
A Cooperation Service for CORBA Objects. From the Model to the Applications |
1999 |
Drira K., Gouezec F., Diaz M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
СТ |
Integrating Task and Data Parallelism by Means of Coordination Patterns |
2001 |
Diaz M., Rubio B., Soler E., Troya J. M. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
СТ |
GCAP: A New Multimedia Multicasr Architecture for QoS |
2001 |
Diaz M., Canonico R., Costa L., Fdida S., Hutchison D., Mathy L., Meissner A., Owezarski S., Vida R., Wolf L. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
СТ |
An Object-Oriented Methodology for Embedded Real-time Systems |
2003 |
Alvarez J. M., Diaz M., Llopis L., Pimentel E., Troya J. M. |
|
|
|
The Computer J. |
24.04.2003 |