12981 search results - page 260 / 2597 » Model Checking (Abstract) |
117
Voted
WSC
1998
15 years 4 months ago
1998
ON MODELING AT MULTIPLE LEVELS OF ABSTRACTION Perakath Benjamin Madhav Erraguntla Dursun Delen Richard Mayer Knowledge Based Systems, Inc. 1408 University Drive College Station, Te...
167
Voted
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
plementation from Abstract Architecture Models Ahmed Amine Jerraya TIMA Laboratory - 46, av. Félix Viallet - 38031 Grenoble – France
124
click to vote
ASM
2003
ASM
15 years 8 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
112
Voted
COMGEO
2004
ACM
15 years 3 months ago
2004
ACM
ded abstract of this chapter appeared as: Herman J. Haverkort, Mark de Berg and Joachim Gudmundsson: Box-trees for collision checking in industrial installations, in Proc. 18th ACM...