Publications
Export 2 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is M and Author is B. H. Meyer [Clear All Filters]
,
“Reducing the Cost of Redundant Execution in Safety-Critical Systems using Relaxed Dedication”, in Design Automation and Test in Europe (DATE), 2011.
,