scientific article; zbMATH DE number 2000404

zbMath1023.93510MaRDI QIDQ4433933

Erika Ábrahám, Martin Steffen, Ulrich Hannemann

Publication date: 3 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2178/21780094.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hybrid systemsdeductive methodsmachine-assisted verification

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83)

Related Items (1)

Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL

Uses Software

• PVS

This page was built for publication: