Back to Results
First PageMeta Content



Model-based Verification and Validation for Procedure Authoring Guillaume Brat and Dimitra Giannakopoulou Michel Izygon and Emmy Alex Carnegie Mellon University - Silicon Valley
Add to Reading List

Document Date: 2009-08-25 03:10:48


Open Document

File Size: 436,29 KB

Share Result on Facebook