scientific article; zbMATH DE number 2080752

MaRDI QIDQ4473709zbMATH OpenFDO

Authors Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey A. Cook, Bill Milam, Yanxin Wang

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2018579
• scientific article; zbMATH DE number 1931787
• Model based program specification and program generation - in a case of vehicle-engine control system design
• SCADE: synchronous design and validation of embedded control software
• Model-based development of embedded systems: the SysWeaver approach

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473709)