@dblp

Towards Normal Design for Safety-Critical Systems.

, , and . FASE, volume 4422 of Lecture Notes in Computer Science, page 398-411. Springer, (2007)

Links and resources

Tags