↓ Skip to main content

Formal Specification and Synthesis of Procedural Controllers for Process Systems

Overview of attention for book