Author of the publication

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

Alamany (nabegy turkmen i ix social'no-ėkonomičeskie pričiny). Turkmenovedenie, (1931)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)Distributed simulation of hybrid systems with AnyLogic and HLA., , and . Future Gener. Comput. Syst., 18 (6): 829-839 (2002)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)Distributed Simulation of Hybrid Systems with HLA Support., , and . PaCT, volume 2127 of Lecture Notes in Computer Science, page 410-420. Springer, (2001)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)