Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Deng, Xianghua "William" - Department of Computer Science and Mathematical Sciences, Penn State Harrisburg
CONTRACT-BASED VERIFICATION AND TEST CASE GENERATION FOR OPEN SYSTEMS
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
Invariant-based Specification, Synthesis, and Verification of Synchronization in Concurrent Programs
Cadena: An Integrated Development Environment for Analysis, Synthesis, and
SyncGen: An Aspect-Oriented Framework for Synchronization
