Data Flow Control Systems: an Example of Safety Validation

BibTex:
Research Area:	Uncategorized	Year:	1993
Type of Publication:	In Proceedings
Authors:	C. Bernardeschi; Andrea Bondavalli; L. Simoncini

Book title:	SAFECOMP '93
Pages:	9-20
Address:	Poznan, Poland
Month:	October 27-29


@conference{BBS93b-SAFECOMP-35, author = "C. Bernardeschi and Bondavalli, Andrea and L. Simoncini", address = "Poznan, Poland", booktitle = "SAFECOMP '93", month = "October 27-29", pages = "9--20", publisher = "Springer Verlag", title = "{D}ata {F}low {C}ontrol {S}ystems: an {E}xample of {S}afety {V}alidation", year = "1993", }
Full text: file-BBS93b-SAFECOMP-35.pdf