Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine by
  • Basit Ur R, Muhammad Abdul
  • Arif, Fahim
Source: Mehran University Research Journal of Engineeering and Technology
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
Formal Methods for Protocol Testing a Detailed Study by
  • Sidhu, Deepinder P
  • Leung, Ting-Kau
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
A Framework for Neural Net Specification by
  • Smith, Leslie S
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