V. Chari

Publication Activity (10 Years)

Years Active: 1982-1985
Publications (10 Years): 0

Publications

Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda
An approach for evaluating formal description techniques. PSTV (1985)
Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon
Description, simulation and implementation of communication protocols using PDIL. SIGCOMM (1983)
Jean-Pierre Ansart, V. Chari, D. Simon
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). Protocol Specification, Testing, and Verification (1983)
Jean-Pierre Ansart, Omar Rafiq, V. Chari
PDIL-Protocol Description and Implementation Language. PSTV (1982)