scientific article; zbMATH DE number 2017341

zbMath1027.68854MaRDI QIDQ4439559

Marco A. A. Sanvido, Wolfgang Pree, Christoph Kirsch, Thomas A. Henzinger

Publication date: 14 December 2003

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

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

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (2)

From control law diagrams to Ada via \textsf{Circus} ⋮ Simulink Timed Models for Program Verification

Uses Software

• Simulink

This page was built for publication: