...
Technical Report 1308, Christian-Albrechts-Universitaet zu Kiel, Department of Computer Science, ISSN 2192-6247, August 2013.
[TR1311] SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. (pdf)
R. von Hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler, J. Aguado, S. Mercer, and O. O’Brien.
Technical Report 1311, Christian-Albrechts-Universitaet zu Kiel, Department of Computer Science, ISSN 2192-6247 December 2013.
[EECS-14-26] Towards Interactive Timing Analysis for Designing Reactive Systems. (pdf)
I. Fuhrmann, D. Broman, S. Smyth, R. von Hanxleden.
Technical Report No. UCB/EECS-2014-26, University of California, Berkeley, EECS Department, April 2014.
Section | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|