Publications

Year:  
All :: 1995, 1997, 1999
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
All :: Raychuk, Rets, Rudakov 
References

1999

Articles:

Borshchev, A.V., Bolshakov, K.R., Karpov, Yu.G., Rudakov, V.V.; Filippov, A.E.
Creating and Running Mobile Agents with XJ DOME
LNCS, v. 2126:410-416
1999

1997

Articles:

Borshchev, A., Karpov, Yu.; Rudakov, V.
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - a Case Study
LNCS, v. 1277:175-188
1997

Contributions to proceedings:

Borshchev, A., Karpov, Yu.; Rudakov, V.
System Modeling, Simulation and Analysis using COVERS Active Objects
Engineering of Computer-Based Systems, Monterey, CA , page 220-227.
1997
Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS 3.0 - An Object Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems
Proceedings of the 1st International Workshop on Distributed Interactive Simulation, Eilat, Israel, IEEE Computer Society Press , page 39-44.
1997

1995

Articles:

Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS - A Tool for the Design of Real-Time Concurrent Systems
LNCS, v. 964:219-232
1995
Export as:
BibTeX, XML