[图书][B] Interactive verification of statecharts
A Thums, G Schellhorn, F Ortmeier, W Reif - 2004 - Springer
In this paper, we present an approach to the interactive verification of statecharts. We use
STATEMATE statecharts for the formal specification of safety critical systems and Interval …
STATEMATE statecharts for the formal specification of safety critical systems and Interval …
[PDF][PDF] Interactive Verification of Statecharts
A Thums, M Balser - researchgate.net
This paper presents an approach to the integration of statecharts, temporal logic and
algebraic specification within an interactive verification environment. Currently some …
algebraic specification within an interactive verification environment. Currently some …
Interactive Verification of Statecharts
A Thums, G Schellhorn, F Ortmeier, W Reif - of Software Specification … - Springer
In this paper, we present an approach to the interactive verification of statecharts. We use
STATEMATE statecharts for the formal specification of safety critical systems and Interval …
STATEMATE statecharts for the formal specification of safety critical systems and Interval …
Interactive Verification of Statecharts
A Thums, M Balser - opus.bibliothek.uni-augsburg.de
This paper presents an approach to the integration of statecharts, temporal logic and
algebraic specification within an interactive verification environment. Currently some …
algebraic specification within an interactive verification environment. Currently some …
[PDF][PDF] Interactive Verification of Statecharts
A Thums - d-nb.info
This paper presents an approach to the integration of statecharts, temporal logic and
algebraic specification within an interactive verification environment. Currently some …
algebraic specification within an interactive verification environment. Currently some …
Interactive Verification of Statecharts
A Thums, G Schellhorn, F Ortmeier… - Integration of Software …, 2011 - books.google.com
In this paper, we present an approach to the interactive verification of statecharts. We use
STATEMATE statecharts for the formal specification of safety critical systems and Interval …
STATEMATE statecharts for the formal specification of safety critical systems and Interval …
[PDF][PDF] Interactive Verification of Statecharts
A Thums, M Balser - Citeseer
This paper presents an approach to the integration of statecharts, temporal logic and
algebraic specification within an interactive verification environment. Currently some …
algebraic specification within an interactive verification environment. Currently some …
[PDF][PDF] Interactive Verification of Statecharts
A Thums, M Balser - core.ac.uk
This paper presents an approach to the integration of statecharts, temporal logic and
algebraic specification within an interactive verification environment. Currently some …
algebraic specification within an interactive verification environment. Currently some …
[引用][C] Interactive verification of statecharts
A THUMS, M BALSER - … techniques (Grenoble, 6-7 April 2002), 2002 - pascal-francis.inist.fr
Interactive verification of statecharts CNRS Inist Pascal-Francis CNRS Pascal and Francis
Bibliographic Databases Simple search Advanced search Search by classification Search …
Bibliographic Databases Simple search Advanced search Search by classification Search …
Interactive Verification of Statecharts
A Thums, G Schellhorn, F Ortmeier, W Reif - Integration of Software Specification … - infona.pl
In this paper, we present an approach to the interactive verification of statecharts. We use
STATEMATE statecharts for the formal specification of safety critical systems and Interval …
STATEMATE statecharts for the formal specification of safety critical systems and Interval …