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
Author: Kritzinger, Pieter S
- The complexity of Petri net transformations
- A methodology for analyzing power consumption in wireless communication systems
- Modelling adaptive routing in Wide Area Networks
- Distributed analysis of Markov chains
- ROLAND : a tool for the realistic optimisation of local access network design
- Protocol engineering from Estelle specifications