Items where Year is 2005

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Number of items: 7.

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).

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

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

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

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.

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.

This list was generated on Thu Mar 28 23:29:41 2024 CET.