Abstract verification of structured dynamical systems

Authors:
Michel Sintzoff
Affiliations:
-
Venue:
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Year:
1996

Citing 0
Cited 4

Action Systems with Continuous Behaviour

Hybrid Systems V
Hybrid Systems' Properties - Classification and Relation to Computer Science

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Properties of Hybrid Systems—A Computer Science Perspective

Formal Methods in System Design
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Quantified Score

Hi-index	0.00

Visualization

Abstract