Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S.C. Cheung
Checking Subsystem Safety Properties in Compositional Reachability Analysis
Fault-Based Testing of Database Application Programs With Conceptual Data Model
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications
