Author of the publication

COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool.

, , , , , and . PaCT, volume 1277 of Lecture Notes in Computer Science, page 409-423. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool., , , , , and . PaCT, volume 1277 of Lecture Notes in Computer Science, page 409-423. Springer, (1997)DEALed - A Tool Suite for Distributed Real-Time Systems Development., , and . PaCT, volume 1662 of Lecture Notes in Computer Science, page 497-502. Springer, (1999)Creating and Running Mobile Agents with XJ DOME., , , , and . PaCT, volume 1662 of Lecture Notes in Computer Science, page 410-416. Springer, (1999)COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems., , and . DIS-RT, page 39-. IEEE Computer Society, (1997)Interval Approach to Parallel Timed Systems Verification., and . PaCT, volume 2763 of Lecture Notes in Computer Science, page 100-116. Springer, (2003)COVERS - A Tool for the Design of Real-time Concurrent Systems., , and . PaCT, volume 964 of Lecture Notes in Computer Science, page 219-233. Springer, (1995)Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study., , , , , and . PaCT, volume 1277 of Lecture Notes in Computer Science, page 175-188. Springer, (1997)XJ DOME - An Environment for the Development and Usage of Mobile Agents., , , and . CEEMAS, (1999)Systems modeling, simulation and analysis using COVERS active objects., , and . ECBS, page 220-227. IEEE Computer Society, (1997)Application of Simulation Approaches to Creation of Decision Support System for IT Service Management., , and . PaCT, volume 4671 of Lecture Notes in Computer Science, page 553-558. Springer, (2007)