Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Sep-2010 | A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD | Zhou, Hang |
15-Apr-2011 | A Regression Test Selection Technique Applied to Legacy Systems | Abdrakhmanov, Akbar |
Oct-2011 | Algebraic Constructions Applied to Theories | Tran, Minh Quang |
Oct-2011 | Locating Carbon Bonds from INADEQUATE Spectra using Continuous Optimization Methods and Non-Uniform K-Space Sampling | Watson, Sean C. |
Jun-2010 | Verification of programs with Z3 | Romanowicz, Ewa |
26-Apr-2010 | State Diagrams: A New Visual Language For Programmable Logic Controllers | Huang, FanFan |
Sep-2010 | Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV | Kulbakas, Christopher |
12-Apr-2011 | Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment | Iqbal, Asif |
Oct-2011 | Condition Monitoring for Rotational Machinery | Volante, Daniel C. |
Oct-2011 | Implementing Efficient Algorithms for Computing Runs | Weng, Chia-Chun |
Discover
Author
Subject