Back to Results
First PageMeta Content
Sequential function chart / Instruction list / Technology / Promela / Programmable logic controller


Veri cation and Optimization of a PLC Control Schedule Ed Brinksma1 and Angelika Mader2 ? Faculty of Computer Science, University of Twente Computer Science Department, University of Nijmegen 1
Add to Reading List

Document Date: 2008-06-30 15:34:28

Open Document

File Size: 234,95 KB

Share Result on Facebook

Company

Hybrid Systems / /

Currency

pence / /

Facility

University of Nijmegen / University of Twente Computer Science Department / /

IndustryTerm

experimental chemical process plant / chemical plant / e.g. chemical plants / transportation / 7l salt solution / transportation steps / concentrated salt solution / salt solution / experimental chemical plant / diluted salt solution / /

Organization

Twente Computer Science Department / University of Twente / Faculty of Computer Science / University of Nijmegen / /

Position

process controller / PLC controller / Programmable Logic Controller / controller / /

ProgrammingLanguage

EC / Promela / /

Technology

operating system / process control / 3g / /

SocialTag