Your browser doesn't support javascript.
loading
Formalization of bond graph using higher-order-logic theorem proving.
Qasim, Ujala; Rashid, Adnan; Hasan, Osman.
Affiliation
  • Qasim U; Research Center for Modeling and Simulations (RCMS), National University of Sciences and Technology (NUST), Islamabad, Pakistan. Electronic address: uqasim.mscse16@rcms.nust.edu.pk.
  • Rashid A; School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan. Electronic address: adnan.rashid@seecs.nust.edu.pk.
  • Hasan O; School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan. Electronic address: osman.hasan@seecs.nust.edu.pk.
ISA Trans ; 128(Pt B): 453-469, 2022 Sep.
Article in En | MEDLINE | ID: mdl-34972543
Subject(s)
Key words
Fulltext
Add to My VHL
Print
XML
PubMed Links
Search on Google

Full text: 1 Collection: 01-internacional Database: MEDLINE Main subject: Logic / Models, Theoretical Limits: Humans Language: En Journal: ISA Trans Year: 2022 Document type: Article Country of publication: United States
Fulltext
Add to My VHL
Print
XML
PubMed Links
Search on Google

Full text: 1 Collection: 01-internacional Database: MEDLINE Main subject: Logic / Models, Theoretical Limits: Humans Language: En Journal: ISA Trans Year: 2022 Document type: Article Country of publication: United States