Verifiable Design of Asynchronous Software
From MaRDI portal
Publication:3564023
DOI10.1007/978-1-4020-6254-4_9zbMath1214.68138OpenAlexW40007321MaRDI QIDQ3564023
Prakash Chandrasekaran, Joseph Joy, Christopher L. Conway, Sriram K. Rajamani
Publication date: 2 June 2010
Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_9
This page was built for publication: Verifiable Design of Asynchronous Software