Login / Signup
"Safety automata" - A new specification language for the development of PLC safety applications.
Georg Frey
Rainer Drath
Bastian Schlich
Robert Eschbach
Published in:
ETFA (2012)
Keyphrases
</>
specification language
programming language
safety critical
formal specification
case study
description language
software engineering
software environment
control system
building blocks
business process
cellular automata
hardware and software
software design
requirements specification