IEEE - Institute of Electrical and Electronics Engineers, Inc. - MTSA: The Modal Transition System Analyser

2008 23rd IEEE/ACM International Conference on Automated Software Engineering

Author(s): N. D'Ippolito ; D. Fischbein ; M. Chechik ; S. Uchitel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2008
Conference Location: L'Aquila, Italy
Conference Date: 15 September 2008
Page(s): 475 - 476
ISBN (CD): 978-1-4244-2188-6
ISBN (Paper): 978-1-4244-2187-9
ISSN (Paper): 1938-4300
DOI: 10.1109/ASE.2008.78
Regular:

Modal transition systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whether the system... View More

Advertisement