 | Max Dauchet - 1988 - 320 pàgines
...forbidding situations in which they can arise1. In Statecharts, they are semanticaUy impossible, because t) Eindhoven University of Technology, Department of Mathematics and Computing Science, PO Box 513, 5600 MB Eindhoven, The Netherlands. E-mail: mcvax!eutrc3!wsinkees.UUCP on wsdckeesh@heithe5.BrTNET... | |
 | Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder - 2005 - 301 pàgines
...University, Department of Computer Science and Electronics, PO Box 883, SE-721 23 Vasteras, Sweden 2 Eindhoven University of Technology, Department of Mathematics and Computing Science, PO Box 513, 5600 MB Eindhoven, Netherlands {rikard. land, ivica. crnkovic, stig. larsson, laurens . blankers }... | |
| |
Eindhoven University of Technology, Department of Mathematics and Computing Science, PO Box 513, 5600 MB Eindhoven, The Netherlands J. 