Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Murray, J.; Obst, O.; Stolzenburg, F.

RoboLog Koblenz 2002 -- Short Team Description

RoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003


Obst, O.; Ringelstein, C.

RoboLog Koblenz 2002 -- Visualization Description

RoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003


Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.

Security-critical system development with extended use cases

Wanchai Rivepiboon; Pornsiri Muenchaisri; Doo-Hwan Bae; Natawut Nupairoj; Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 478 - 487


Ebert, J.; Schulze, M.; Troch, I. et al.

Semantics of the Phase Model of Production: Formalization

Proceedings of MATHMOD 2003. Bd. Proceedings of MATHMOD 2003. 2003


Baumgartner, Peter; Tinelli, Cesare

The model evolution calculus

Koblenz-Landau: Univ., Inst. für Informatik 2003 0 S. (Fachberichte Informatik ; 2003,1-9)


Noda, Itsuki; Stone, Peter; Obst, Oliver

The RoboCup Soccer Server and CMUnited Clients: Implemented Infrastructure for MAS Research

Boston, Mass. [u.a.]: Kluwer Academic Publ. 2003 S. 101 - 120


Ebert, J.; Winter, A.

Towards Specifying Reengineering Services Using graph based Schemas

http://www.bauhaus-stuttgart.de/sam/ebert.pdf Proceedings Software Analysis and Maintenance: Practices, Tools, Interoperability}, STEP 2003, Amsterdam. Bd. http://www.bauhaus-stuttgart.de/sam/ebert.pdf Proceedings Software Analysis and Maintenance: Practices, Tools, Interoperability}, STEP 2003, Amsterdam. 2003


Shabalin, Pasha; Jürjens, Jan

Towards Tool Support for UMLsec

2003


Shabalin, Pasha; Jürjens, Jan

Towards Tool Support for UMLsec (Poster Proposal)

München: Technische Universität München, Institut für Informatik 2003 S. 1 - 10


Zöbel, Dieter

Trajectory Segmentation for the Autonomous Control of Backward Motion for Truck and Trailer

IEEE Transactions on Intelligent Transportation Systems. Bd. 4. H. 2. New York, NY: IEEE Institute of Electrical and Electronics Engineers 2003 S. 59 - 66