Items where Year is 2005

B

Brandán Briones, Laura and Röhl, Mathias (2005) Test Derivation from Timed Automata. In: Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science, 3472 . Springer-Verlag Berlin Heidelberg, pp. 201-231. ISBN 978-3-540-26278-7 (print) 978-3-540-32037-1 (online).

G

Gierke, Martina (2005) Coupling Autominder and James. Diploma thesis, Computer Science Department, University of Rostock.

M

Meining, Stefan (2005) Modellierung und von räumlichen Phänomenen in einer biologischen Zelle. Diploma thesis, Computer Science Department, University of Rostock.

O

Ober, Christian (2005) JAMES II und Intelligentes Tutoring: interaktives fallbasiertes Lernen von Modellbildung und Simulation. Diploma thesis, Computer Science Department, University of Rostock.

R

Röhl, Mathias and Uhrmacher, Adelinde M. (2005) Flexible integration of XML into modeling and simulation systems. In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005. Proceedings,, pp. 1813-1820.

U

Uhrmacher, Adelinde M. and Degenring, Daniela and Zeigler, Bernard P. (2005) Discrete Event Multi-level Models for Systems Biology. Trans. Computational Systems Biology, 1, pp. 66-89.

Uhrmacher, Adelinde M. and Priami, Corrado (2005) Discrete Event Systems Specification in Systems Biology - A Discussion of Stochastic Pi calculius and DEVS. In: Winter Simulation Conference (WSC'2005), December 4-7, Orlando, FL, USA. Proceedings,, pp. 317-326.