Search: onr:"swepub:oai:DiVA.org:uu-79645" >
Inference of Timed ...
Inference of Timed Transition Systems
-
- Grinchtein, Olga (author)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
- Leucker, Martin (author)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
- Jonsson, Bengt (author)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
(creator_code:org_t)
- 2005
- 2005
- English.
-
In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY).
- Related links:
-
https://urn.kb.se/re...
Subject headings
Close
Keyword
- learning timed systems
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database