Work

PHAVer: algorithmic verification of hybrid systems past HyTech

Year: 2008

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-007-0062-x

Author: Goran Frehse

Institution: Verimag

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Semiconductor Research Corporation

OpenAlex ID: W2152533774

FWCI: 16.94

Cites: 44

Cited by: 235

Related to: 10