From Control Law Diagrams to Ada via Circus

Bibliographic Details
Main Authors: Cavalcanti, A, Clayton, P, O'Halloran, C
Format: Journal article
Published: 2011