Quantitative Modal Transition Systems

Authors :: Kim Guldstrand Larsen
Axel Legay
Source :: Recent Trends in Algebraic Development Techniques ISBN: 9783642376344, WADT
Publication Year :: 2013
Publisher :: Springer Berlin Heidelberg, 2013.
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.

Subjects :: Formalism (philosophy of mathematics)
Modal
010201 computation theory & mathematics
Computer science
0202 electrical engineering, electronic engineering, information engineering
Calculus
020207 software engineering
0102 computer and information sciences
02 engineering and technology
Software product line
01 natural sciences
Simulation

ISBN :: 978-3-642-37634-4
ISBNs :: 9783642376344
Database :: OpenAIRE
Journal :: Recent Trends in Algebraic Development Techniques ISBN: 9783642376344, WADT
Accession number :: edsair.doi...........cccff99e22fb59edd5b60c85b665f6f4
Full Text :: https://doi.org/10.1007/978-3-642-37635-1_3