Towards an Algebra for Real-Time Programs
From MaRDI portal
Publication:2915135
DOI10.1007/978-3-642-33314-9_4zbMath1364.68135MaRDI QIDQ2915135
Ian J. Hayes, Kim Solin, Brijesh Dongol, Larissa A. Meinicke
Publication date: 21 September 2012
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_4
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)