Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by GERARD J. KIM
Adding Form to Real-Time System Specification and Simulation
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Related publications
Test Case Generation for Real-Time System Software Using Specification Diagram
International Journal of Intelligent Engineering and Systems
Engineering
Computer Science
HLA Compliant Real-Time Operating System Simulation
The SIGNAL Software Environment for Real-Time System Specification, Design, and Implementation
Adding Multiprocessor and Mode Change Support to the Ada Real-Time Framework
ACM SIGAda Ada Letters
A Real Time Memory Manager for the Real Time Specification for Java
Using Discrete EVent System Specification in Real-Time (DEVSRT) in Order to Model and Simulate Artificial Pancreas.
Specification and Design Methodology for Real-Time Embedded Systems
Adding an Intelligent Tutoring System to an Existing Training Simulation
Specification and Analysis of Real-Time Systems in Statecharts
