Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan. Formal verification of programs specified with signal: application to a power transformer station controller. Science of Computer Programming, 41(1):85-104, 2001.
@article{MarchandRBS01,
title = {Formal verification of programs specified with signal: application to a power transformer station controller},
author = {Hervé Marchand and Éric Rutten and Michel Le Borgne and Mazen Samaan},
year = {2001},
tags = {program verification},
researchr = {https://researchr.org/publication/MarchandRBS01},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {41},
number = {1},
pages = {85-104},
}