|
СТ |
A Comparison of the BTT and TTF Test-Generation Methods |
2002 |
Legeard B., Peureux F., Utting M. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
A Formal Method for Building Concurrent Real-Time Software |
1997 |
Fidge C., Kearney P., Utting M. |
|
|
|
Software |
26.04.1997 |
|
СТ |
A Layered Real-Time Specification of a RISC Processor |
1994 |
Kearney P., Utting M. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Faster Analysis of Formal Specifications |
2004 |
Bouquet F., Legeard B., Utting M., Vacelet N. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.02.2005 |
|
СТ |
Interactively Verifying a Simple Real-time Scheduler |
1995 |
Fidge C., Kearney P., Utting M. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Modular Reasoning in an Object-Oriented Refinement Calculus |
1993 |
Utting M., Robinson K. |
|
|
|
Lecture Notes in Computer Science |
29.04.1993 |
|
СТ |
Object Orientation without Extending Z |
2003 |
Utting M., Wang S. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
ZML: XML Support for Standard Z |
2003 |
Utting M., Toyn I., Sun J., Martin A., Dong J. S., Daley N., Currie D. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
