On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
On disjunction of literals in triggers of statecharts transitions
Information Processing Letters
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Extending Statecharts with Duration
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Reconciling statechart semantics
Science of Computer Programming
What is in a step: new perspectives on a classical question
Time for verification
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.89 |