Theoretical Computer Science
Action Systems with Continuous Behaviour
Hybrid Systems V
Linking DC Toghether with TRSL
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Hybrid dynamic systems: relating Chi to hybrid automata
Proceedings of the 35th conference on Winter simulation: driving innovation
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantified differential dynamic logic for distributed hybrid systems
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Quantified differential invariants
Proceedings of the 14th international conference on Hybrid systems: computation and control
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Computing semi-algebraic invariants for polynomial dynamical systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
A CSP model for hybrid automata
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
An assume/guarantee based compositional calculus for hybrid CSP
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Verifying simulink diagrams via a hybrid hoare logic prover
Proceedings of the Eleventh ACM International Conference on Embedded Software
| Hi-index | 0.00 |