André Engels

According to our database, André Engels authored at least 4 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Design Decisions on Data and Guards in MSC2000.

André Engels

Proceedings of the SAM 2000, 2000

1999

MSC and data: dynamic variables.

André Engels, Loe M. G. Feijs, Sjouke Mauw

Proceedings of the SDL '99 The Next Millennium, 1999

1997

Test Generation for Intelligent Networks Using Model Checking.

André Engels, Loe M. G. Feijs, Sjouke Mauw

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A Hierarchy of Communication Models for Message Sequence Charts.

André Engels, Sjouke Mauw, Michel A. Reniers

Proceedings of the Formal Description Techniques and Protocol Specification, 1997