Modelling temporal behaviour in complex systems with Timebands
DOI10.1007/S10703-013-0193-5zbMATH Open1291.68271OpenAlexW2056823793MaRDI QIDQ2248089FDOQ2248089
Authors: Kun Wei, Alan Burns, Jim Woodcock 
Publication date: 30 June 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://eprints.whiterose.ac.uk/94536/1/modelling_temporal_behaviour.pdf
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)
Cites Work
- A theory of timed automata
- Title not available (Why is that?)
- A really temporal logic
- The benefits of relaxing punctuality
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- A UTP semantics for \textsf{Circus}
- Title not available (Why is that?)
- A timeband framework for modelling real-time systems
- A process algebraic framework for specification and validation of real-time systems
- Timewise refinement for communicating processes
- Embedding time granularity in a logical specification language for synchronous real-time systems
- Representing and Reasoning about Temporal Granularities
- The Miracle of Reactive Programming
- Integrated Formal Methods
- Temporalized logics and automata for time granularity
- Unifying theories in ProofPower-Z
Cited In (2)
Uses Software
This page was built for publication: Modelling temporal behaviour in complex systems with Timebands
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2248089)
