Model checking with Message Sequence Charts Doron Peled Collaborators: R. Alur, E. Gunter, G. Holzmann, A. Muscholl, Z. Su Department of Computer Science.
WOCAT GLUES Products - Leipzig Jan. 2015
Lei Bu Message Sequence Chart. MSCs Message sequence chart (MSC) is a graphical and textual language for the description and specification of the interactions.
The Marine Stewardship Council a brief introduction
The best environmental choice in seafood The Marine Stewardship Council a brief introduction Patrick Caleo, Manager Australia and New Zealand 1.
Global impacts delivered in partnership May 2014
