Automata-based Representations for the Verification of Hybrid Systems

No full text

Paper published in a book (Scientific congresses and symposiums)

JODOGNE, Sébastien

2002 • In Proc. Summer School Modelling and Verification of Parallel Processes (MOVEP)

Peer reviewed

Permalink
https://hdl.handle.net/2268/163955

No document available.

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 review/Selection committee :

Peer reviewed

Additional URL :

Available on ORBi :

since 06 March 2014

Number of views

223 (4 by ULiège)

Number of downloads

0 (0 by ULiège)