Automata-based Representations for the Verification of Hybrid Systems

Jodogne, Sébastien

Automata-based Representations for the Verification of Hybrid Systems

Jodogne, Sébastien

(2002) Summer School Modelling and Verification of Parallel Processes (MOVEP)

Files

Jod02ps.bin

Restricted Access
Unknown
57.15 KB

Request a copy

Details

Authors

Jodogne, SébastienUCLouvain
Author

Affiliations

UCLouvainSST/ICTM/INGI - Pôle en ingénierie informatique

Citations

APA
Chicago
FWB

Jodogne, S. (2002). Automata-based Representations for the Verification of Hybrid Systems. Summer School Modelling and Verification of Parallel Processes (MOVEP). https://hdl.handle.net/2078.5/252256