|
СТ |
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 |
|
СТ |
Agent Oriented Analysis Using Message/UML |
2002 |
Caire G., Coulier W., Garijo F., Gomez J., Pavon J., Leal F., Chainho P., Kearney P., Stark J., Evans R., Massonet P. |
|
|
|
Lecture Notes in Computer Science |
06.04.2002 |
|
СТ |
An extensional fixed-point semantics for nondeterministic data flow |
1991 |
Kearney P., Staples J. |
|
|
|
Theoretical Computer Science |
25.12.1991 |
|
СТ |
Extending Z with Modules |
1995 |
Traynor O., Kearney P., Wang L., Karlsen E. |
|
|
|
Australian Computer Science Communications |
12.07.1995 |
|
СТ |
Interactively Verifying a Simple Real-time Scheduler |
1995 |
Fidge C., Kearney P., Utting M. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
