Discussion on: ``Formal specification method for systems automation
From MaRDI portal
Publication:5971345
DOI10.1016/S0947-3580(06)71020-2zbMath1293.93092OpenAlexW2073720275MaRDI QIDQ5971345
Valentin Valero, María Emilia Cambronero
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.1016/s0947-3580(06)71020-2
Uses Software
Cites Work