Henrikas Pranevitchius

Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols

Henrikas Pranevitchius, 1991, Baltic Computer Science.

Specification, validation and simulation of an event driven local computer network protocol

Henrikas Pranevitchius, Leo Sintonen, 1993 .

Description of a dynamically changing environment in a decision support system

Dalė Dzemydienė, Henrikas Pranevitchius, 1994 .

Correctness analysis and simulation of computer network protocols by aggregate approach

Henrikas Pranevitchius, 1990 .

Tools for validation and simulation of Estelle/Ag specifications

Vytautas Pilkauskas, Henrikas Pranevitchius, 1994, SEKE.