Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{950141,
author = {Beneš, Nikola and Křetínský, Jan and Larsen, Kim G. and Moller, Mikael H. and Srba, Jiří},
address = {Heidelberg Dordrecht London New York},
booktitle = {ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium},
keywords = {modal transition systems; refinement},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Heidelberg Dordrecht London New York},
isbn = {978-3-642-24371-4},
pages = {275-289},
publisher = {Springer},
title = {Parametric Modal Transition Systems},
year = {2011}
}
TY - JOUR
ID - 950141
AU - Beneš, Nikola - Křetínský, Jan - Larsen, Kim G. - Moller, Mikael H. - Srba, Jiří
PY - 2011
TI - Parametric Modal Transition Systems
PB - Springer
CY - Heidelberg Dordrecht London New York
SN - 9783642243714
KW - modal transition systems
KW - refinement
N2 - Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcome many of the limitations and we investigate the computational complexity of modal refinement checking.
ER -
BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN, Mikael H. MOLLER a Jiří SRBA. Parametric Modal Transition Systems. In \textit{ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium}. Heidelberg Dordrecht London New York: Springer, 2011, s.~275-289. ISBN~978-3-642-24371-4.
|
