Search: id:"swepub:oai:DiVA.org:uu-27361" >
Formal design and a...
-
Lindahl, MUppsala universitet
(author)
Formal design and analysis of a gear controller
- Article/chapterEnglish1998
Publisher, publication year, extent ...
-
SPRINGER-VERLAG BERLIN,1998
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:uu-27361
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-27361URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:vet swepub-contenttype
-
Subject category:art swepub-publicationtype
Notes
-
Addresses: Lindahl M, Mecel AB, Gothenburg, Sweden. Mecel AB, Gothenburg, Sweden. Uppsala Univ, Dept Comp Syst, Uppsala, Sweden.
-
In this paper, we report on an application of the validation and verification tool kit UPPAAL in the design and analysis of a prototype gear controller, carried out in a joint project between industry and academia. We give a detailed description of the fo
Added entries (persons, corporate bodies, meetings, titles ...)
-
Pettersson, PUppsala universitet
(author)
-
Yi, WUppsala universitet
(author)
-
Uppsala universitet
(creator_code:org_t)
Related titles
-
In:TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS: SPRINGER-VERLAG BERLIN1384, s. 281-2970302-9743
Internet link
Find in a library
To the university's database