СТ |
Scheduling Hard Real Time Systems Using High-Level Petri Nets |
1992 |
Bruno G., Castella A., Macario G., Pescarmona M. P. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
СТ |
A Service-driven Vision of Integrated Broadband Communications: The OSA Approach |
1994 |
Bruno G., Insulander J., Larsson U., Lucidi F. |
|
|
|
Lecture Notes in Computer Science |
26.10.1994 |
СТ |
Benefits of Using Model-Based Testing Tools |
1995 |
Bruno G., Varani M., Vico V., Offerman C. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
СТ |
Validating Software Requirements Using Operational Models |
1995 |
Bruno G., Agarwal R. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
СТ |
CAB: An Environment for Developing Concurrent Application |
1995 |
Bruno G., Agarwal R., Castella A., Pescarmona M. P. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
СТ |
Introducing a Color Formalism into Generalized Stochastic Petri Nets |
1988 |
Chiola G., Bruno G., Demaria T. |
|
|
|
Application and Theory of Petri Nets |
08.07.1995 |
СТ |
PROTOB Object-Oriented Graphical Modelling and Programming Based on PROT Nets |
1988 |
Baldassari M., Bruno G. |
|
|
|
Application and Theory of Petri Nets |
11.07.1995 |
П |
Object-Oriented Extentions for Petri Nets |
1900 |
Bruno G., Pescarmona M., Agarwal R. |
|
|
|
|
03.11.1995 |