Linda Simon

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski
Interfacing Computer Communications from Ada in a Diverse and Evolving Environment. Ada-Europe (1994)
Lynn S. Marshall, Linda Simon
Using VDM Within an Object-Oriented Framework. Formal Methods in Databases and Software Engineering (1992)
Lynn S. Marshall, Linda Simon
Using VDM to specify managed object relationships. FORTE (1992)
Linda Simon, Lynn S. Marshall
Using VDM to Specify OSI Managed Objects. FORTE (1991)
Lynn S. Marshall, Linda Simon
Using VDM within an Object-Oriented Framework. VDM Europe (1) (1991)