Formal Verification of Hybrid Systems

doi 10.1145/2038642.2038685
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Comparing Formal Verification Approaches of Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formal Verification of Privacy for RFID Systems

2010English

Hybrid State Petri Nets Which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata

2010English

Formal Verification of Real-Time Systems With Preemptive Scheduling

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2008English

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools

2018English

Formal Non-Fragile Stability Verification of Digital Control Systems With Uncertainty

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2017English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy