Traffic Lights - An AutoFocus Case Study (1998)
Cached
Download Links
- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- [wwwbroy.informatik.tu-muenchen.de]
- [www4.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
| Venue: | 1998 International Conference on Application of Concurrency to System Design |
| Citations: | 6 - 4 self |
BibTeX
@INPROCEEDINGS{Huber98trafficlights,
author = {Franz Huber and Sascha Molterer and Bernhard Schätz and Oscar Slotosch and Alexander Vilbig},
title = {Traffic Lights - An AutoFocus Case Study},
booktitle = { 1998 International Conference on Application of Concurrency to System Design},
year = {1998},
pages = {282--294},
publisher = {IEEE Computer Society}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we present a case study on Auto-Focus, a tool prototype for the development of distributed and concurrent systems based on the concepts of the formal method Focus. We develop (specify, consistency-check and simulate) the controller of a pedestrian traffic light using different graphical description techniques to illustrate an engineering process for concurrent systems.
