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

Synthesis and stochastic assessment of cost-optimal schedules., , , , , and . STTT, 12 (5): 305-318 (2010)Single Value Devices., , and . INTETAIN, volume 78 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 38-47. Springer, (2011)Reusing knowledge in embedded systems modelling., , , and . Expert Systems, 30 (3): 185-199 (2013)06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)., , , , and . MMOSS, volume 06351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Operational and Logical Semantics for Polling Real-Time Systems., , , and . FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 29-40. Springer, (1998)Design of a PLC Control Program for a Batch Plant VHS Case Study., , , and . Eur. J. Control, 7 (4): 416-439 (2001)Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal., , and . MASCOTS, page 239-246. IEEE Computer Society, (2006)Production Scheduling by Reachability Analysis - A Case Study., , , and . IPDPS, IEEE Computer Society, (2005)Making a Toy Educative Using Electronics., , , and . Advances in Computer Entertainment, volume 7624 of Lecture Notes in Computer Science, page 477-480. Springer, (2012)Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods., , , and . IWAAPF@ICSE, page 67-73. ACM, (2008)