A comparison of techniques for the specification of external system behavior
Communications of the ACM
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Using Harel statecharts to model object-oriented behavior
ACM SIGSOFT Software Engineering Notes
Algorithmics: The Spirit of Computing
Algorithmics: The Spirit of Computing
Hi-index | 0.00 |