|
СТ |
Black-Box Conformance Testing for Real-Time Systems |
2004 |
Krichen M., Tripakis S. |
|
|
|
Lecture Notes in Computer Science |
29.04.2004 |
|
СТ |
A Protocol for Loosely Time-Triggered Architectures |
2002 |
Benveniste A., Caspi P., Le Guernic P., Marchand H., Talpin J. -P., Tripakis S. |
|
|
|
Lecture Notes in Computer Science |
12.11.2002 |
|
СТ |
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control Systems |
2002 |
Tripakis S. |
|
|
|
Lecture Notes in Computer Science |
11.11.2002 |
|
СТ |
Verifying Progress in Timed Systems |
1999 |
Tripakis S. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
|
СТ |
Extending Promela and Spin for Real Time |
1996 |
Tripakis S., Courcoubetis C. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
