ISoLA 2010: Heraklion, Crete, Greece

Refine list

showing all ?? records

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective

Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

Worst-Case Traversal Time (WCTT)

Tools in Scientific Workflow Composition

Emerging Services and Technologies for a Converging Telecommunications / Web World in Smart Environments of the Internet of Things

Web Science

Model Transformation and Analysis for Industrial Scale Validation

Learning Techniques for Software Verification and Validation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics