Login / Signup
Towards Industrial Formal Specification of Programmable Safety Systems.
Oscar Ljungkrantz
Knut Åkesson
Chengyin Yuan
Martin Fabian
Published in:
IEEE Trans. Control. Syst. Technol. (2012)
Keyphrases
</>
formal specification
formal methods
specification language
specification languages
model checking
object oriented design
artificial intelligence
general purpose
data abstraction
databases
high level
multi agent
knowledge acquisition
knowledge based systems