First Page | Document Content | |
---|---|---|
Date: 2009-08-25 03:10:48 | Model-based Verification and Validation for Procedure Authoring Guillaume Brat and Dimitra Giannakopoulou Michel Izygon and Emmy Alex Carnegie Mellon University - Silicon ValleyAdd to Reading ListSource URL: www-vvps09.imag.frDownload Document from Source WebsiteFile Size: 436,29 KBShare Document on Facebook |