Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine (Record no. 710020)

MARC details
000 -LEADER
fixed length control field 00622nab a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s2016 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Basit Ur R, Muhammad Abdul
9 (RLIN) 699741
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Arif, Fahim
9 (RLIN) 699742
245 #0 - TITLE STATEMENT
Title Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine
300 ## - PHYSICAL DESCRIPTION
Extent 139-154 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal Semantics
9 (RLIN) 699743
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal Models
9 (RLIN) 699744
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Real-Time Systems
9 (RLIN) 147389
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 2016
Title Mehran University Research Journal of Engineeering and Technology
International Standard Serial Number 02547821
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Articles
-- 51
-- ABUL KALAM Library
Holdings
Not for loan Home library Serial Enumeration / chronology Total Checkouts Date last seen Koha item type
  Engr Abul Kalam Library Vol.35, No.01 (Jan. 2016)   19/08/2023 Articles