Author: Kritzinger, Pieter S
Similar Items: Bisimulation as a verification and validation technique for message sequence charts
- Parallelizing a bi-directional chart parser for a multicomputer
- A Cache System Design for CMPs with Built-In Coherence Verification
- Novel Verification Method for Timing Optimization Based on DPSO
- Specification and verification of context conditions for programming languages
- A language to support verification of embedded software
- Adaptive Multi-Wave Sampling for Efficient Chart Validation