A tutorial on uppaal (2004)
Cached
Download Links
- [www.it.uu.se]
- [i12www.ira.uka.de]
- [www.cs.auc.dk]
- DBLP
Other Repositories/Bibliography
by
Gerd Behrmann
,
Re David
,
Kim G. Larsen
| Citations: | 120 - 8 self |
BibTeX
@INPROCEEDINGS{Behrmann04atutorial,
author = {Gerd Behrmann and Re David and Kim G. Larsen},
title = {A tutorial on uppaal},
booktitle = {},
year = {2004},
pages = {200--236},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns. 1
