At the Frontiers in Design Representation Summer School at the University of Maryland, Raphael Barbau and Conrad Bock from NIST were invited to present software that helps identify discrepancies in system behavior designs.
At the Frontiers in Design Representation Summer School at the University of Maryland, Raphael Barbau and Conrad Bock from NIST were invited to present software that helps identify discrepancies in system behavior designs.