Work

Synchronized product of semi-algebraic O-minimal hybrid automata

Year: 2007

Type: article

Authors: Bud Mishra, Alberto Casagrande, Pietro Corvaja, Carla Piazza

Institutions: University of Udine, Ca' Foscari University of Venice

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2977298217

FWCI: 0.913

Cites: 18

Cited by: 2

Related to: 10