Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Modular for mal Analysis ofCentral Guardian InTime-Triggered Architecture by
  • Pfeifer, Holger
Source: Reliability Engineering and System Safety
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction by
  • Holzmann, Gerard J
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