Specification Theories for Probabilistic and Real-Time Systems

Fahrenberg, Uli;Legay, Axel;Traonouez, Louis-Marie
(2014) FPS@ETAPS (April.2014)

Files

No attached file found for this publication.

Details

Authors
  • Fahrenberg, Uli
    Author
  • Legay, AxelUCLouvain
    Author
  • Traonouez, Louis-Marie
    Author
Abstract
We survey extensions of modal transition systems to specification theories for probabilistic and timed systems.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Fahrenberg, U., Legay, A., & Traonouez, L.-M. (2014). Specification Theories for Probabilistic and Real-Time Systems. From Programs to Systems. The Systems perspective in Computing Lecture Notes in Computer Science. Published. FPS@ETAPS. https://doi.org/10.1007/978-3-642-54848-2_7