English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Specifying the safety controllers of traffic light systems in Z and statecharts
Details
Full
Export
Statistics
Options
1999
Book Article
Titel
Specifying the safety controllers of traffic light systems in Z and statecharts
Author(s)
Winter, K.
Santen, T.
Heisel, M.
Hauptwerk
Sicherheit und Zuverlässigkeit software-basierter Systeme
Language
English
google-scholar
View Details
FIRST