AuthorProfile for André Engels
MSC and data: dynamic variables.
André Engels
Sjouke Mauw
Test generation for intelligent networks using model checking
André Engels
Loe Feijs
Sjouke Mauw
Design Decisions on Data and Guards in MSC2000.
André Engels
Design Decisions on Data and Guards in MSC2000
A. Engels
Message Refinement: Describing Multi-Level Protocols in MSC
A. Engels
Test Generation for Intelligent Networks Using Model Checking.
André Engels
Sjouke Mauw
A hierarchy of communication models for Message Sequence Charts.
André Engels
Sjouke Mauw
A Hierarchy of Communication Models for Message Sequence Charts.
André Engels
Sjouke Mauw
A Hierarchy of Communication Models for Message Sequence Charts
A. Engels
A Hierarchy of Communication Models for Message Sequence Charts
A. Engels
Why Men (and Octopuses) Cannot Juggle a Four Ball Cascade
A. Engels
MSC: A Bibliography
Andre Engels
Disrupt and Interrupt in MSC: possibilities and problems
A. Engels
A Hierarchy of Communication Models for Message Sequence Charts
A. Engels
This service is maintained by
James R. Griffin III
and
Thomas Krichel