Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Xu, Jia - Department of Computer Science, York University (Toronto)
3 4 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/03/$17.00 2003 IEEE monitoring, nuclear power plants, defense, mul-
On Inspection and Verification of Software with Timing Requirements
The International Journal of Time-Critical Computing Systems, 18, 7-23 (2000) c 2000 Kluwer Academic Publishers, Boston.
Acta Informatica 29, 121-160 (1992) Infermatica9 Springer-Verlag 1992
