Information Technology Reference
In-Depth Information
3. IEEE 1516-2000 Standard for Modeling and Simulation (M&S). High level ar-
chitecture - framework and rules. IEEE Computer Society Press, September
2000.
4. T. Gezgin. Observerbasierte on-the-fly Auswertung von QLTL-Formeln inner-
halb eines HLA-Simulationsverbundes. Master's thesis, Carl von Ossietzky Uni-
versity Oldenburg, 2009.
5. Claus Möbus and Mark Eilers. Further steps towards driver modeling according
to the bayesian programming approach. In Vincent Duffy, editor,
Digital Human
Modeling
, volume 5620 of
Lecture Notes in Computer Science
, pages 413-422.
Springer Berlin / Heidelberg, 2009.
6. Claus Möbus, Mark Eilers, Hilke Garbe, and Malte Zilinski. Probabilistic and
empirical grounded modeling of agents in (partial) cooperative tra
c scenarios.
In Vincent Duffy, editor,
Digital Human Modeling
, volume 5620 of
Lecture Notes
in Computer Science
, pages 423-432. Springer Berlin / Heidelberg, 2009.
7. Gerald Sauter, Henning Dierks, Martin Fränzle, and Michael R. Hansen. Light-
weight hybrid model checking facilitating online prediction of temporal prop-
erties. In
Proceedings of the 21st Nordic Workshop on Programming Theory,
NWPT '09
, pages 20-22, Kgs. Lyngby, Denmark, 2009. Danmarks Tekniske Uni-
versitet.
8. L.Weber,M.Baumann,A.Lüdtke,andR.Steenken. ModellierungvonEntschei-
dungen beim Einfädeln auf die Autobahn. To appear: Fortschritts-Berichte VDI:
Der Mensch im Mittelpunkt technischer Systeme. 8. Berliner Werkstatt Mensch-
Maschine-Systeme, 2009.
