HOME HELP
 
General Science Division


1. Formal methods for eal-Time computing

2. Foundations of real-time computing: formal specifications and methdos  
Copyrights 2001. JRD Tata Memorial Library, Indian Institute of Science,Bangalore - 560 012, India.