Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral

First Page		Document Content
Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation		Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Download Document from Source Website File Size: 95,99 KB Share Document on Facebook

	Unemployment, Conflicts and Partnership Stability: An Application of an Actor-Partner Interdependence Model (First Results) Bernd Weißa, Katharina Lotera,b & Michael Wagnera aInstitute DocID: 1s8DQ - View Document
	BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth DocID: 1ru6U - View Document
	Modular Flexible Models for Operating Systems Ike Antkaretoo International Institute of Technology United Slates of Earth DocID: 1rsRD - View Document
	The Influence of Compact Epistemologies on Cyberinformatics Ike Antkare International Institute of Technology United Slates of Earth DocID: 1rsvX - View Document
	PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by: Concurrency – Education DocID: 1rqUv - View Document