Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.
Conferences
- Overview
- Identity
- Additional Document Info
- View All