12 results on '"Yuri A Karpov"'
Search Results
2. Interval Approach to Parallel Timed Systems Verification.
3. Distributed Simulation of Hybrid Systems with HLA Support.
4. DEALed - A Tool Suite for Distributed Real-Time Systems Development.
5. Creating and Running Mobile Agents with XJ DOME.
6. Systems modeling, simulation and analysis using COVERS active objects.
7. COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool.
8. Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study.
9. COVERS - A Tool for the Design of Real-time Concurrent Systems.
10. Distributed simulation of hybrid systems with AnyLogic and HLA.
11. XJ DOME - An Environment for the Development and Usage of Mobile Agents.
12. COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.