Author of the publication

Design of a PLC Control Program for a Batch Plant VHS Case Study.

, , , and . Eur. J. Control, 7 (4): 416-439 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A taxonomy for computer science., and . Informatics in Higher Education, volume 128 of IFIP Conference Proceedings, page 217-230. Chapman & Hall, (1997)Zur Spezifikation und Struktur grösserer Systeme - Untersuchungen am Beispiel von ALGOL 68 und GKS.. University of Oldenburg, Germany, (1985)Design as the Discovery of a Mathematical Theorem What designers Should Know about the Art of Mathematics.. Transactions of the SDPS, 4 (2): 1-13 (2000)Timed automaton models for simple programmable logic controllers., and . ECRTS, page 106-113. IEEE Computer Society, (1999)Design of a PLC Control Program for a Batch Plant VHS Case Study., , , and . Eur. J. Control, 7 (4): 416-439 (2001)A Specification Language for Reliable Real-time Systems., and . FTRTFT, volume 331 of Lecture Notes in Computer Science, page 111-127. Springer, (1988)Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods., , , and . IWAAPF@ICSE, page 67-73. ACM, (2008)