Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
Streamlining Assembly Modeling with Design-Based Patterning by
  • Kasprzak, Kris
Source: Machine Design
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
Pages