ISoLA 2010: Heraklion, Crete, Greece

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