СТ |
Verification of Real-Time Designs: Combining Sheduling Theory with Automatic Formal Verification |
1999 |
Braberman V. A., Felder M. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
СТ |
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets |
1994 |
Felder M., Morzenti A. |
|
|
|
Lecture Notes in Artificial Intelligence |
12.08.1994 |
СТ |
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification |
1993 |
Ghezzi C., Felder M., Bellettini C. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
СТ |
Analyzing Refinements of State Based Specifications: The Case of TB Nets |
1993 |
Felder M., Ghezzi C., Pezze M. |
|
|
|
Software Engineering Notes |
29.09.1993 |