No full text
Paper published in a book (Scientific congresses and symposiums)
Automata-based Representations for the Verification of Hybrid Systems
JODOGNE, Sébastien
2002In Proc. Summer School Modelling and Verification of Parallel Processes (MOVEP)
Peer reviewed
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
JODOGNE, Sébastien ;  Centre Hospitalier Universitaire de Liège - CHU > Radiothérapie
Language :
English
Title :
Automata-based Representations for the Verification of Hybrid Systems
Publication date :
June 2002
Event name :
Summer School Modelling and Verification of Parallel Processes (MOVEP)
Event place :
Nantes, France
Event date :
Juin 2012
Audience :
International
Main work title :
Proc. Summer School Modelling and Verification of Parallel Processes (MOVEP)
Peer reviewed :
Peer reviewed
Available on ORBi :
since 06 March 2014

Statistics


Number of views
24 (4 by ULiège)
Number of downloads
0 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi