Publication:4412559
From MaRDI portal
zbMath1015.68815MaRDI QIDQ4412559
Publication date: 15 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2495/24950613.htm
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items
Mechanical Reasoning about Families of UTP Theories, Connectors as designs: modeling, refinement and test case generation, Mechanical reasoning about families of UTP theories, A process algebraic framework for specification and validation of real-time systems, A timeband framework for modelling real-time systems, Unifying theories in ProofPower-Z, Modelling temporal behaviour in complex systems with Timebands, Unnamed Item, Simulink Timed Models for Program Verification, Unifying Theories of Programming in Isabelle