Skip to content

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.

Herv Marchand, Mazen Samaan

VenueBFM
Year1999
ProceedingsWorld Congress on Formal Methods

Browse the full FM paper archive.