Your search returned 3 results.

Sort
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).
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).
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).
Pages
Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024