Richard Borgen

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner
Prototyping a Domain-Specific Language for Monitor and Control Systems. J. Aerosp. Comput. Inf. Commun. 7 (11) (2010)