Evolutionary Verification, Validation and Certification

Search: ^p

Research/EVOLVE Web Changed Changed by
Publications 19 Oct 2012 - 09:17 - r12 JoseNunoOliveira
Publications Reports Formal Methods for Specifications and Architectures EVOLVE Final Report. 2011. Papers Ana Garis, Alcino Cunha, and Daniel Riesco ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM