%0 Conference Proceedings
%T Quantitative Modal Transition Systems
%+ Aalborg University [Denmark] (AAU)
%+ Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
%+ Threat Analysis and Mitigation for Information Security (TAMIS)
%A Larsen, Kim, G.
%A Legay, Axel
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 21th InternationalWorkshop on Algebraic Development Techniques (WADT)
%C Salamanca, Spain
%Y Narciso Martí-Oliet
%Y Miguel Palomino
%I Springer
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-7841
%P 50-58
%8 2012-06-07
%D 2012
%R 10.1007/978-3-642-37635-1_3
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-01485977/document
%2 https://inria.hal.science/hal-01485977/file/978-3-642-37635-1_3_Chapter.pdf
%L hal-01485977
%U https://inria.hal.science/hal-01485977
%~ INSTITUT-TELECOM
%~ EC-PARIS
%~ UNIV-RENNES1
%~ CNRS
%~ INRIA
%~ UNIV-UBS
%~ INSA-RENNES
%~ INRIA-RENNES
%~ IRISA
%~ IRISA_SET
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ IRISA-D4
%~ INRIA2
%~ IFIP-TC
%~ IFIP-TC1
%~ UR1-HAL
%~ UR1-MATH-STIC
%~ IFIP-WG1-3
%~ UR1-UFR-ISTIC
%~ IFIP-LNCS-7841
%~ IFIP-WADT
%~ TEST-UNIV-RENNES
%~ TEST-UR-CSS
%~ UNIV-RENNES
%~ INRIA-RENGRE
%~ INSA-GROUPE
%~ INSTITUTS-TELECOM
%~ UR1-MATH-NUM