Quantitative Modal Transition Systems

Larsen, Kim;Legay, Axel
(2012) 21th InternationalWorkshop on Algebraic Development Techniques (WADT) (7.June.2012)

Files

No attached file found for this publication.

Details

Authors
  • Larsen, Kim
    Author
  • Legay, AxelUCLouvain
    Author
Abstract
This extended abstract offers a brief survey presentation of the specification formalism of modal transition systems and its recent extensions to the quantitative setting of timed as well as stochastic systems. Some applications will also be briefly mentioned.

Citations

  • APA
  • Chicago
  • FWB

Larsen, K., & Legay, A. (2012). Quantitative Modal Transition Systems. Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science. 21th InternationalWorkshop on Algebraic Development Techniques (WADT). https://doi.org/10.1007/978-3-642-37635-1_3