Hervé Marchand, Eric 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, August 2001.
@article{marchand01a,
Author = {Marchand, Hervé and Rutten, Eric and Le Borgne, Michel and Samaan, Mazen},
Title = {Formal Verification of Programs specified with Signal: Application to a power transformer Station Controller},
Journal = {Science of Computer Programming},
Volume = {41},
Number = {1},
Pages = {85--104},
Month = {August},
Year = {2001}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.