Tools for Model-Checking Timed Systems

David, A. (author)

Computer Science Department, Aalborg University, Aalborg, Denmark

Behrmann, G. (author)

Computer Science Department, Aalborg University, Aalborg, Denmark

Bulychev, P. (author)

Lomonosov Moscow State University, Moscow, Russian Federation

show more...

Byg, J. (author)

Computer Science Department, Aalborg University, Aalborg, Denmark

Chatain, T. (author)

Larsen, K. G. (author)

Computer Science Department, Aalborg University, Aalborg, Denmark

Pettersson, Paul (author)

Mälardalens högskola,Inbyggda system

Rasmussen, J. I. (author)

Computer Science Department, Aalborg University, Aalborg, Denmark

Srba, J. (author)

Computer Science Department, Aalborg University, Aalborg, Denmark

Yi, W. (author)

Uppsala University, Uppsala, Sweden

Joergensen, K. Y. (author)

Computer Science Department, Aalborg University, Aalborg, Denmark

Lime, D. (author)

IRCCyN, Ecole Centrale de Nantes, Nantes, France

Magnin, M. (author)

IRCCyN, Ecole Centrale de Nantes, Nantes, France

Roux, O. H. (author)

IRCCyN, University of Nantes, Nantes, France

Traonouez, L. -M (author)

IRCCyN, Ecole Centrale de Nantes, Nantes, France

show less...

 (creator_code:org_t)

2013-02-13

2013

English.

In: Communicating Embedded Systems: Software and Design: Formal Methods. - : John Wiley & Sons, Inc.. - 9781848211438 ; , s. 165-225

Related links:

https://urn.kb.se/re...

show more...

https://doi.org/10.1...

show less...

• Book chapter (other academic/artistic)