Work

Verification of liveness properties on hybrid dynamical systems

Year: 2013

Type: dissertation

Source: Research Explorer (The University of Manchester)

Author: Rebekah Carter

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W183350788

Cites:

Cited by: 2

Related to: 10