Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling statecharts and activitycharts as signal equations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Translations between Textual Transition Systems and Petri Nets
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |