NIST’s Raphael Barbau and Conrad Bock were invited to present NIST-developed software that helps find inconsistencies in system behavior designs, at the University of Maryland’s Frontiers in Design Representation Summer School . The week-long event
Source:: NIST