From control law diagrams to Ada via \textsf{Circus}

From MaRDI portal
Publication:640296

DOI10.1007/s00165-010-0170-3zbMath1226.68028OpenAlexW2080864228MaRDI QIDQ640296

Colin O'Halloran, Phil Clayton, Ana Cavalcanti

Publication date: 18 October 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-010-0170-3




Related Items


Uses Software


Cites Work