Frédéric Béal et al.: A Conservative Framework for Safety-Failure Checking. (2008)journals/ieicet/BealYM0810.1093/IETISY/E91-D.3.642Q59859552A Conservative Framework for Safety-Failure Checking.3Frédéric Béal1Tomohiro Yoneda2Chris J. Myers3642-654IEICE Trans. Inf. Syst.IEICE Trans. Inf. Syst.91-D32008provenance information for RDF data of dblp record 'journals/ieicet/BealYM08'2020-04-11T15:26:42+0200