WFRF:(Mokrushin Leonid)
Sökning: WFRF:(Mokrushin Leonid) > Times :
- Amnell, TobiasUppsala universitet,Datorteknik,UPPAAL (författare)
Times : A Tool for Modelling and Implementation of Embedded Systems
- Artikel/kapitelEngelska2002
Förlag, utgivningsår, omfång ...
- Berlin :Springer-Verlag,2002
- printrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:kth-180646
- https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-180646URI
- https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-19176URI
- https://doi.org/10.1007/3-540-46002-0_32DOI
Kompletterande språkuppgifter
- Språk:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Serie
- Lecture Notes in Computer Science ;2280
Anmärkningar
- NR 20160219
Ämnesord och genrebeteckningar
- TEKNIK OCH TEKNOLOGIER Maskinteknik hsv//swe
- ENGINEERING AND TECHNOLOGY Mechanical Engineering hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- Computer science
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Fersman, ElenaUppsala universitet,Datorteknik,UPPAAL(Swepub:kth)u1d2m69p (författare)
- Mokrushin, LeonidUppsala universitet,Datorteknik,UPPAAL(Swepub:uu)lemok839 (författare)
- Pettersson, PaulUppsala universitet,Datorteknik,UPPAAL(Swepub:uu)paulpet (författare)
- Yi, WangUppsala universitet,Datorteknik,UPPAAL(Swepub:uu)wangyi (författare)
- Uppsala universitetDatorteknik (creator_code:org_t)
Sammanhörande titlar
- Ingår i:Tools and Algorithms for the Construction and Analysis of SystemsBerlin : Springer-Verlag, s. 460-4643540434194
Internetlänk
Hitta via bibliotek
- Tools and Algorithms for the Construction and Analysis of Systems (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Amnell, Tobias
- Fersman, Elena
- Mokrushin, Leoni ...
- Pettersson, Paul
- Yi, Wang
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Maskinteknik
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Delar i serien
- Lecture Notes in ...
- Artiklar i publikationen
- Tools and Algori ...
- Av lärosätet
- Kungliga Tekniska Högskolan
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
