Publications
Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.
Publications
| 2015 | |
|---|---|
   | Harold Bruintjes, Joost-Pieter Katoen, David Lesens. A statistical approach for timed reachability in AADL models. Dependable Systems and Networks (DSN), pages 81–88, IEEE CS Press, 2015. |