Sökning: onr:"swepub:oai:DiVA.org:uu-79645" >
Inference of Timed ...
Inference of Timed Transition Systems
-
- Grinchtein, Olga (författare)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
- Leucker, Martin (författare)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
- Jonsson, Bengt (författare)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,datorteknik,Testing of Reactive Systems
-
(creator_code:org_t)
- 2005
- 2005
- Engelska.
-
Ingår i: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY).
- Relaterad länk:
-
https://urn.kb.se/re...
Ämnesord
Stäng
Nyckelord
- learning timed systems
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)