Sökning: onr:"swepub:oai:DiVA.org:mdh-31644" >
Tools for Model-Che...
Tools for Model-Checking Timed Systems
-
- David, A. (författare)
- Computer Science Department, Aalborg University, Aalborg, Denmark
-
- Behrmann, G. (författare)
- Computer Science Department, Aalborg University, Aalborg, Denmark
-
- Bulychev, P. (författare)
- Lomonosov Moscow State University, Moscow, Russian Federation
-
visa fler...
-
- Byg, J. (författare)
- Computer Science Department, Aalborg University, Aalborg, Denmark
-
Chatain, T. (författare)
-
- Larsen, K. G. (författare)
- Computer Science Department, Aalborg University, Aalborg, Denmark
-
- Pettersson, Paul (författare)
- Mälardalens högskola,Inbyggda system
-
- Rasmussen, J. I. (författare)
- Computer Science Department, Aalborg University, Aalborg, Denmark
-
- Srba, J. (författare)
- Computer Science Department, Aalborg University, Aalborg, Denmark
-
- Yi, W. (författare)
- Uppsala University, Uppsala, Sweden
-
- Joergensen, K. Y. (författare)
- Computer Science Department, Aalborg University, Aalborg, Denmark
-
- Lime, D. (författare)
- IRCCyN, Ecole Centrale de Nantes, Nantes, France
-
- Magnin, M. (författare)
- IRCCyN, Ecole Centrale de Nantes, Nantes, France
-
- Roux, O. H. (författare)
- IRCCyN, University of Nantes, Nantes, France
-
- Traonouez, L. -M (författare)
- IRCCyN, Ecole Centrale de Nantes, Nantes, France
-
visa färre...
-
(creator_code:org_t)
- 2013-02-13
- 2013
- Engelska.
-
Ingår i: Communicating Embedded Systems: Software and Design: Formal Methods. - : John Wiley & Sons, Inc.. - 9781848211438 ; , s. 165-225
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Ämnesord
Stäng
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Model-checking
- and tools
- ROMEO
- and timed extensions
- TAPAAL
- timed-arc Petri nets
- UPPAAL
- timed automata/symbolic
- UPPAAL-CORA/-TIGA
Publikations- och innehållstyp
- vet (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
David, A.
-
Behrmann, G.
-
Bulychev, P.
-
Byg, J.
-
Chatain, T.
-
Larsen, K. G.
-
visa fler...
-
Pettersson, Paul
-
Rasmussen, J. I.
-
Srba, J.
-
Yi, W.
-
Joergensen, K. Y ...
-
Lime, D.
-
Magnin, M.
-
Roux, O. H.
-
Traonouez, L. -M
-
visa färre...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
- Artiklar i publikationen
-
Communicating Em ...
- Av lärosätet
-
Mälardalens universitet