Your search returned 2 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 Program Construction by Trans Formations Computer Aided, Intuition Guided Programming by
  • Molier, Bernhard
  • Partsch, Helmut
  • Pepper, Peter
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