Publications

Krupp, Alexander; Lundkvist, O.; Schattkowsky, Tim; Snook, C.: Adaptive Cruise Controller Case Study: Visualisation, Validation and Temporal Verification. In: Mermet, J. editor. : UML-B System Specification for Proven Electronic Design, 9 Dec 2004, Kluwer Academic Publishers

files

Krupp,Alexander-TheAdaptiveCruiseContollerCaseStudy.pdf

Bibtex

@inproceedings{hniid=2192,
author = {Krupp, Alexander and Lundkvist, O. and Schattkowsky, Tim and Snook, C.},
title = {Adaptive Cruise Controller Case Study: Visualisation, Validation and Temporal Verification},
editor = {Mermet, J.},
booktitle = {UML-B System Specification for Proven Electronic Design},
publisher = {Kluwer Academic Publishers},
month = {9~} # dec,
year = {2004},
}