Back to Results
First PageMeta Content
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

Document Date: 2014-09-25 06:02:19


Open Document

File Size: 95,99 KB

Share Result on Facebook
UPDATE