scientific article; zbMATH DE number 1982196
From MaRDI portal
Publication:4426369
zbMath1023.68524MaRDI QIDQ4426369
Steve Pratt, Gary L. Hartmann, Darren D. Cofer, Samar Dajani-Brown
Publication date: 16 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480034.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Control/observation systems involving computers (process control, etc.) (93C83) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis ⋮ From control law diagrams to Ada via \textsf{Circus}
Uses Software
This page was built for publication:
