|
СТ |
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach |
2005 |
Bordbar B., Okano K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2005 |
|
СТ |
Verification of Timeliness QoS Properties in Multimedia Systems |
2003 |
Bordbar B., Okano K. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
СТ |
A UML Approach to the Design of Open Distributed Systems |
2002 |
Bordbar B., Derrick J., Waters G. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
On Querying UML Data Models with OCL |
2001 |
Akehurst D. H., Bordbar B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
