Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Recognizable Sets of Message Sequence Charts
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
The synthesis problem of netcharts
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Timing analysis of scenario-based specifications using linear programming
Software Testing, Verification & Reliability
Hi-index | 0.00 |