English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & 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
Show all metadata (technical view)
1999
Book Article
Title
Specifying the safety controllers of traffic light systems in Z and statecharts
Author(s)
Winter, K.
Santen, T.
Heisel, M.
Mainwork
Sicherheit und Zuverlässigkeit software-basierter Systeme
Language
English
FIRST
