Accès aux Contact | Référence BibTex | Référence EndNote |

marchand01a

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, Août 2001.

Contact

Hervé Marchand
Eric Rutten

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.