1
Publicado 2008
Table of Contents: ... Systems -- Specification-based Verification of Embedded Systems by Automated Test Case Generation...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Ligazón do recurso
Electrónico eBook
3
Publicado 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... Choice Tests in distributed E-Leaning Environments: A Case Study -- Service Decomposition and Task...
Ligazón do recurso
Electrónico eBook