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...

• Bokkapitel (övrigt vetenskapligt/konstnärligt)