Ecdar

Ecdar is an abbreviation of Environment for Compositional Design and Analysis of Real Time Systems

This page contains an overview of research papers related to Ecdar as of the spring of 2020.

Downloads, an overview of the History of Ecdar and the Architecture can all be found on ecdar.net.

Research papers:

Student reports and papers about Ecdar

Models

Comments are closed.