@article{HLR92b,
title = { Programming and verifying critical systems by means of the synchronous data-flow programming language {\sc Lustre} },
author = {Halbwachs, Nicolas and Lagnier, Fabienne and Ratel, Christophe},
month = {sep},
year = {1992},
journal = {IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008847
|
|
|