Modeling Time in Computing

Tests and Proofs

This book constitutes the refereed proceedings of the 10th International Conference on Tests and ...

Modeling Time in Computing

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, ...

Modeling Time in Computing

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 14th International Conference on Integrated...

Object, Models, Components, Patterns

This book constitutes the refereed proceedings of the 50th International Conference on Objects, M...