An Automata Based Interpretation of Live Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Eliminating Queues from RT UML Model Representations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal approach to railway applications
Formal methods and hybrid real-time systems
| Hi-index | 0.00 |