Travelled to:1 × Finland
Collaborated with:V.A.Nepomniaschy N.V.Shilov E.V.Bodin
Talks about:distribut (1) approach (1) system (1) specif (1) integr (1) design (1) verif (1) basic (1) real (1)
Person: Vitaly E. Kozura
DBLP: Kozura:Vitaly_E=
Contributed to:
2002Wrote 1 papers:
- IFM-2002-NepomniaschySBK #approach #design #distributed #named #specification #verification
- Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems (VAN, NVS, EVB, VEK), pp. 69–88.