 | 2008 |
|---|
| 9 |       | Thomas Wilson,
Savi Maharaj,
Robert G. Clark:
Flexible and configurable verification policies with Omnibus.
Software and System Modeling 7(3): 257-272 (2008) |
| 2005 |
|---|
| 8 | | Thomas Wilson,
Savi Maharaj,
Robert G. Clark:
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.
SEFM 2005: 150-159 |
| 2000 |
|---|
| 7 | | Robert G. Clark,
Ana M. D. Moreira:
Use of E-LOTOS in Adding Formality to UML.
J. UCS 6(11): 1071-1087 (2000) |
| 1999 |
|---|
| 6 |  | Robert G. Clark,
Ana M. D. Moreira:
SDL in Rigorus Object-Oriented Analysis (Short Paper).
FMOODS 1999 |
| 5 | | Robert G. Clark,
Ana M. D. Moreira:
Formal Specifications of User Requirements.
Autom. Softw. Eng. 6(3): 217-232 (1999) |
| 1994 |
|---|
| 4 | | Ana M. D. Moreira,
Robert G. Clark:
Combining Object-Oriented Analysis and Formal Description Techniques.
ECOOP 1994: 344-364 |
| 3 | | Ana M. D. Moreira,
Robert G. Clark:
Rigorous Object-Oriented Analysis.
ISOOMS 1994: 65-78 |
| 1992 |
|---|
| 2 | | Robert G. Clark,
Valerie M. Jones:
Use of LOTOS in the formal development of an OSI protocol.
Computer Communications 15(2): 86-92 (1992) |
| 1988 |
|---|
| 1 | | Robert G. Clark:
The Design ad Development of Ada Real-Time Embedded Systems.
Specification and Verification of Concurrent Systems 1988: 84-99 |
