Data Flow Control Systems: an Example of Safety Validation
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 | ||||
BibTex: |
|||||
Full text:
![]() |