The following pages link to MoonZoo Kim (Q1878916):
Displaying 4 items.
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances (Q3510818) (← links)
- Automated Technology for Verification and Analysis (Q5491884) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710001) (← links)
