Searching for authors named "Moonzoo Kim" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Java-MaC: A run-time assurance approach for Java programs
- …. Manufactured in The Netherlands. Java-MaC: A Run-Time Assurance Approach for Java Programs ∗ MOONZOO KIM…
- Cited by 19 (9 self) – Add To MetaCart
-
Using Formal Modelling with an Automated Analysis Tool to Design and Parametrically Analyze a Multi-robot Coordination Protocol: a case study
- … Email: esposito@(email omitted);, moonzoo@(email omitted); Joel M. Esposito Moonzoo Kim about the world…
- Add To MetaCart
-
Re-engineering software architecture of home service robots: A case study
- …Re-engineering Software Architecture of Home Service Robots: A Case Study Moonzoo Kim, Jaejoon Lee…
- Cited by 4 (2 self) – Add To MetaCart
-
Formal verification of robot movements - a case study on home service robot shr100
- …Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 Moonzoo Kim…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal construction and verification of home service robots: A case study
- …Formal Construction and Verification of Home Service Robots : A Case Study Moonzoo Kim 1 and Kyo…
- Cited by 1 (0 self) – Add To MetaCart
-
B.Kim. Feature-oriented Re-engineering of Legacy Systems into Product Line Assets, The 9
- … Kang, Moonzoo Kim, Jaejoon Lee, and Byungkil Kim Software Engineering Lab. Computer Science…
- Cited by 2 (1 self) – Add To MetaCart
-
3d virtual prototyping of home service robots using asadal/obj
- …3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ Kyo Chul Kang, Moonzoo Kim, Jaejoon…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
