Similar Items: Specification and verification of context conditions for programming languages
- Study on Similarity among Indian Languages Using Language Verification Framework
- A language to support verification of embedded software
- Specification and verification of systems using model checking and Markov reward models
- Formal specification and verification of safety interlock systems: A comparative case study
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Novel Verification Method for Timing Optimization Based on DPSO
Author: MacGregor, Ken
- Specification and verification of context conditions for programming languages
- Using CAMAC hardware for access to a particle accelerator
- Incompatibility of lognormal forward-Libor and Swap market models
- Mapping the vegetation of the fynbos biome with the aid of Landsat imagery
- Utilisation of readily available information and communication technologies in cattle management in Kgatleng and south east districts in Botswana
- Implementing the reliable data protocol on a Java enabled mobile device