1
Argitaratua 2008
Aurkibidea: ... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2006
Aurkibidea: ... Proposal for a Gene Functions Wiki -- Using Semantic Web Tools to Integrate Experimental Measurement Data...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... of Labor: Tools for Growing and Scaling Grids -- DECO: Data Replication and Execution CO-scheduling...
Testu osoa
Baliabide elektronikoa eBook