|
СТ |
Real-Time Refinement |
1993 |
Fidge C. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
|
СТ |
Adding Real Time to Formal Program Development |
1994 |
Fidge C. |
|
|
|
Lecture Notes in Computer Science |
14.12.1994 |
|
СТ |
Interactively Verifying a Simple Real-time Scheduler |
1995 |
Fidge C., Kearney P., Utting M. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Fundamentals of Distributed System Observation |
1996 |
Fidge C. |
|
|
|
IEEE Software |
14.01.1997 |
|
СТ |
A Formal Method for Building Concurrent Real-Time Software |
1997 |
Fidge C., Kearney P., Utting M. |
|
|
|
Software |
26.04.1997 |
|
СТ |
A Formal Model of Real-Time Program Compilation |
1999 |
Lermer K., Fidge C. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
