Sciweavers

PSTV
1989
58views Hardware» more  PSTV 1989»
14 years 20 days ago
Validating SDL Specifications: an Experiment
Gerard J. Holzmann, Joanna Patti
PSTV
1989
71views Hardware» more  PSTV 1989»
14 years 20 days ago
Open Distributed Processing
This paper proposes design concepts that allow the conception, understanding and development of complex technical structures for open distributed systems. The proposed concepts ar...
J. J. van Griethuysen