Author: Holzmann, G. J.
Author: Stellenbosch University. Faculty of . Dept. of
Similar Items: Validation of a microkernel : a case study
- Development of a tool to test computer protocols
- Diversity’s role in collaboration and conflict: a case-study of React.js
- Effective Fine-tuning for Low-resource Languages: A Case Study of Cangjie
- Line-level bug-finding power of static analysis rules: a case study of Teamscale
- The transformative potential of AI in software engineering: a case study on LeetCode and ChatGPT
- Micro-kernel support for a lightweight extensible workstation operating system
Similar Items: The language approach to the development of reliable concurrent programs
- Detecting and quantifying resource contention in concurrent programs
- LF : a language for reliable embedded systems
- The design of a specification language suitable for the generation of compilers
- A model checker for the LF system
- Unity-inspired object-oriented concurrent system development
- Fuzzy-PID and interpolation: a novel synergetic approach to process control