- A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded SystemsMendoza Cervantes, Francisco
Paperback - An Access Definition and Query Language: Towards a Unified Access Control ModelSonnenbichler, Andreas
Paperback - Efficient Optimization and Processing of Queries over Text-rich Graph-structured DataLadwig, Gnter
Paperback - Deriving Goal-oriented Performance Models by Systematic ExperimentationWestermann, Dennis
Paperback