Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Murray, J.; Obst, O.; Stolzenburg, F.
RoboLog Koblenz 2002 -- Short Team DescriptionRoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003
Obst, O.; Ringelstein, C.
RoboLog Koblenz 2002 -- Visualization DescriptionRoboCup 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 casesWanchai 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: FormalizationProceedings of MATHMOD 2003. Bd. Proceedings of MATHMOD 2003. 2003
Baumgartner, Peter; Tinelli, Cesare
The model evolution calculusKoblenz-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 ResearchBoston, Mass. [u.a.]: Kluwer Academic Publ. 2003 S. 101 - 120
Ebert, J.; Winter, A.
Towards Specifying Reengineering Services Using graph based Schemashttp://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 UMLsec2003
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 TrailerIEEE Transactions on Intelligent Transportation Systems. Bd. 4. H. 2. New York, NY: IEEE Institute of Electrical and Electronics Engineers 2003 S. 59 - 66