Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Symbolic Reliability Evaluation Using a Microprocessor by
  • Sharma, Suresh
Source: Reliability Engineering and System Safety
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
A Set Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers by
  • SARkar, Dilip
  • SARkar, S. C. De
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
Compiling Real-Time Specifications Into Extended Automata by
  • Nivoliln, Xavier
  • Yovine, Sergio
  • Sifakis, Joseph
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
Pages