A conservative framework for safety-failure checking Conference Proceeding

Overview

CU Boulder Authors

• Myers, Christopher

publication date

• November 23, 2006

has restriction

• bronze

Date in CU Experts

• October 28, 2020 2:58 AM

Full Author List

• Beal F; Yoneda T; Myers CJ

author count

• 3

published in

• IEICE Transactions on Information and Systems  Journal

presented at event

• 7th Workshop on RTL and High Level Testing  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0916-8532

Digital Object Identifier (DOI)

• https://doi.org/10.1093/ietisy/e91-d.3.642

Additional Document Info

start page

• 642

end page

• 654

volume

• E91D

issue

• 3