The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with
concepts from computer science, in particular from process algebra and hybrid automata. It …

This thesis is a result of four years of intensive cooperation between the Systems
Engineering Group of the Mechanical Engineering Department and the Formal Methods …

In active learning, an equivalence oracle is supposed to answer whether a hypothesis
model is equivalent to the system under learning. Its implementation in real applications is …

Nowadays, due to increasing system complexity and growing competition and costs,
industry makes high demands on powerful techniques used to design and analyze …

New methods and techniques are needed to reduce the very costly integration and test effort
(in terms of lead time, costs, resources) in the development of high-tech multi-disciplinary …

There exist many formalisms for modeling the behavior of (software) systems. These
formalisms serve different purposes. Process algebras are used for algebraic and axiomatic …

THIS THESIS DEALS WITH THE incorporation of timing aspects in (mostly) explicit state
model checking. Therefore, time as a concept appears everywhere in the thesis, whether as …

For many systems, timing aspects are essential. Therefore, when modelling these systems,
time should somehow be represented. In the past, many timed process algebras have been …

New methods and techniques are needed to reduce the integration and test effort (lead time,
costs, resources) in the development of high-tech multi-disciplinary systems. To facilitate this …

Tangram Page 1 Tangram Citation for published version (APA): Tretmans, J. (Ed.) (2007).
Tangram: model-based integration and testing of complex high-tech systems. Technische …