Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Runtime Verification
nidottu,
2010,
englanti,
ISBN 9783642166112
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program …
Convergence and Hybrid Information Technology
nidottu,
2012,
englanti,
ISBN 9783642326448
This book constitutes the refereed proceedings of the 6th International Conference on Convergence and Hybrid Information Technology, ICHIT 2012, held in Daejeon, Korea, in August …