Name
Title | ||
|---|---|---|
"Safety automata" - A new specification language for the development of PLC safety applications. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/ETFA.2012.6489536 | ETFA |
Keywords | Field | DocType |
automata theory,industrial control,occupational safety,program verification,programmable controllers,specification languages,PLC code checking,PLC safety application development,PLCopen specification,Safety Automata,automation engineer,function block,industrial applications,safety control functions,specification language,test case generation,transformation rules | Specification language,Automata theory,Programming language,Computer science,Automaton,Automation,Control engineering,Programmable logic controller,Test case,Safety control,Reliability engineering | Conference |
Citations | PageRank | References |
1 | 0.38 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Georg Frey | 1 | 172 | 40.32 |
| Rainer Drath | 2 | 88 | 12.69 |
| Bastian Schlich | 3 | 214 | 17.98 |
| Robert Eschbach | 4 | 75 | 10.24 |