Travelled to:1 × Finland
1 × The Netherlands
Collaborated with:∅ N.V.Shilov E.V.Bodin V.E.Kozura
Talks about:verif (2) distribut (1) structur (1) hierarch (1) approach (1) definit (1) system (1) specif (1) integr (1) design (1)
Person: V. A. Nepomniaschy
DBLP: Nepomniaschy:V=_A=
Contributed to:
2002
1999Wrote 2 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.
- FASE-1999-Nepomniaschy #data type #verification
- Verification of Definite Iteration over Hierarchical Data Structures (VAN), pp. 176–187.