Search the dblp DataBase
Robert G. Clark: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ana M. D. Moreira, Robert G. Clark
Combining Object-Oriented Analysis and Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
ECOOP, 1994, pp:344-364 [Conf] - Robert G. Clark
The Design ad Development of Ada Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
Specification and Verification of Concurrent Systems, 1988, pp:84-99 [Conf] - Robert G. Clark, Ana M. D. Moreira
SDL in Rigorus Object-Oriented Analysis (Short Paper). [Citation Graph (0, 0)][DBLP]
FMOODS, 1999, pp:- [Conf] - Ana M. D. Moreira, Robert G. Clark
Rigorous Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP]
ISOOMS, 1994, pp:65-78 [Conf] - Thomas Wilson, Savi Maharaj, Robert G. Clark
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. [Citation Graph (0, 0)][DBLP]
SEFM, 2005, pp:150-159 [Conf] - Robert G. Clark, Ana M. D. Moreira
Formal Specifications of User Requirements. [Citation Graph (0, 0)][DBLP]
Autom. Softw. Eng., 1999, v:6, n:3, pp:217-232 [Journal] - Robert G. Clark, Valerie M. Jones
Use of LOTOS in the formal development of an OSI protocol. [Citation Graph (0, 0)][DBLP]
Computer Communications, 1992, v:15, n:2, pp:86-92 [Journal] - Robert G. Clark, Ana M. D. Moreira
Use of E-LOTOS in Adding Formality to UML. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:11, pp:1071-1087 [Journal]
Search in 0.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002