An Implementation and Verification Technique for Distributed Systems
Date | 19 Jun 2000 - 23 Jun 2000 |
---|---|
Event | MOVEP2k: Modelling and Verification of Parallel Processes |
Location | Nantes, France |
Verification and validation of distributed systems as defined by the ISG-approach is
described in this paper.
Permalink