Formal specification method for systems automation

DOI10.3166/EJC.12.115-130zbMath1293.93087OpenAlexW2026475690MaRDI QIDQ2512041

Jean-François Pétin, Gérard Morel, Hervé Panetto

Publication date: 7 August 2014

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/ejc.12.115-130

zbMATH Keywords

formal verificationformal specificationsystems engineeringrequirements analysisautomation engineering

Mathematics Subject Classification ID

General systems (93A10)

Uses Software

• Modelica
• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Supervisory Control of a Class of Discrete Event Processes
• The B-Book

This page was built for publication: Formal specification method for systems automation