Travelled to:1 × Finland
Collaborated with:V.A.Nepomniaschy E.V.Bodin V.E.Kozura
Talks about:distribut (1) approach (1) system (1) specif (1) integr (1) design (1) verif (1) basic (1) real (1)
Person: Nikolay V. Shilov
DBLP: Shilov:Nikolay_V=
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.