Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2000Simulation and Information Systems Design: Applications in Latvian Ports
Demyanov, I.; Ginters, E.; Grecov, V.; Gribkova, V.; Kamperman, E.; Kindler, E.; Lorenz, P.; Merkuryev, Y.
: Blümel, E.; Novitsky, L.
Book
1998Distributed algorithms for networks of agents
Reisig, W.; Kindler, E.; Vesper, T.; Völzer, H.; Walter, R.
Book Article
1997DAWN: Petrinetzmodelle zur Verifikation verteilter Algorithmen
Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.
Book
1997Mutex needs fairness
Kindler, E.; Walter, R.
Journal Article
1997Petri net based verification of distributed algorithms
Kindler, E.; Reisig, W.; Völzer, H.; Walter, R.
Journal Article
1997Simulation and Modelling in Managing and Controlling Of Container Harbours
Novitski, L.; Bluemel, E.; Merkuryev, Y.; Tolujew, J.; Ginters, E.; Lorenz, P.; Kindler, E.; Slagter, D.; Viktorova, E.
Conference Paper
1997Verifikation im Vorgehensmodell anhand eines Beispiels
Fricke, O.; Borusan, A.; Vesper, T.; Kindler, E.
Conference Paper