Developing control systems components

DOI10.1007/3-540-40911-4_10MaRDI QIDQ4471916zbMATH OpenFDO

Authors L. Petre, K. Sere

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Toward reusable hierarchical cell control software
• scientific article; zbMATH DE number 1079649
• Synthesis of control software in a layered architecture from hybrid automata
• Statecharts to specify the control of automated manufacturing systems
• Formal specification method for systems automation

Cited in

(2)

• A family-oriented software development process for engine controllers
• Kaisa Sere: in memoriam

This page was built for publication: Developing control systems components

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