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