Work

Current Challenges in the Verification of Hybrid Systems

Year: 2015

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-25141-7_2

Authors: Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski

Institutions: RWTH Aachen University, Verimag, University of Colorado Boulder

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2265178974

FWCI: 3.606

Cites: 33

Cited by: 31

Related to: 10