An Integrated Design Methodology for Safety Critical Systems

Publication
IEEE International Systems Conference