![]() |
| 1994 | ||
|---|---|---|
| 5 | Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski: Interfacing Computer Communications from Ada in a Diverse and Evolving Environment. Ada-Europe 1994: 387-396 | |
| 1992 | ||
| 4 | Lynn S. Marshall, Linda Simon: Using VDM to specify managed object relationships. FORTE 1992: 263-278 | |
| 3 | Lynn S. Marshall, Linda Simon: Using VDM Within an Object-Oriented Framework. Formal Methods in Databases and Software Engineering 1992: 111-121 | |
| 1991 | ||
| 2 | Linda Simon, Lynn S. Marshall: Using VDM to Specify OSI Managed Objects. FORTE 1991: 17-31 | |
| 1 | Lynn S. Marshall, Linda Simon: Using VDM within an Object-Oriented Framework. VDM Europe (1) 1991: 619-628 | |
| 1 | Slobodan S. Jovanovic | [5] |
| 2 | Lynn S. Marshall | [1] [2] [3] [4] |
| 3 | Drasko M. Sotirovski | [5] |