You are here: Home :: Area NEM :: Engineering :: Automation

H. Dierks, Ernst-Rüdiger Olderog

Temporal Logics for Specifications

Logics are often used in computer science as specification languages. There is a rich variety of logics to choose from depending on the problem. Systems in automation technology are typically reactive systems for which temporal logics are adequate. We introduce the most important temporal logics and give reference for further reading.

at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag

Print ISSN: 0178-2312
Volume: 51, 02/2003
Pages: 0A1

Journal homepage (external site)

Show all available items of this journal

 

Area NEM