Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Apr-2012 | Identification and Documentation of Environmental Assumptions for the PACEMAKER System | WANG, Vivien You |
Apr-2012 | A Compositional Approach for Verifying Sampled-Data Supervisory Control | Baloch, Mahvash |
Apr-2012 | WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS | Aziz, Malik Junaid |
Apr-2012 | Extending Service Oriented Architecture Using Generic Service Representatives | Najafi, Mehran |
Apr-2012 | Computational and Geometric Aspects of Linear Optimization | Xie, Feng |
Apr-2012 | REASONING ABOUT DEFINEDNESS - A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC | Hu, Qian |
Apr-2012 | Model Based System Consistency Checking Using Event-B | Xu, Hao |
Oct-2012 | Existence, Continuity, and Computability of Unique Fixed Points in Analog Network Models | James, Nick D. |
Oct-2012 | A New Incremental Classification Approach Monitoring The Risk of Heart Disease | Aghtar, Shima |
Oct-2012 | INTERSECTION STATE VISUALIZATION FOR REALTIME SIMULATIONS | Roth, Justin L. |
Discover
Author