Muhammad Usman Sanwal

E-post: muhammad.sanwal@abo.fi


Referentgranskade publikationer

A4 Konferenspublikationer
Combining Refinement and Signal-Temporal Logic for Biological Systems (2017)
Usman Sanwal, Umair Siddique
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response (2017)
Usman Sanwal, Luigia Petre, Ion Petre
Computers in Biology and Medicine
Visa på utgivarens sida
A4 Konferenspublikationer
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations (2015)
Muhammad Usman Sanwal, Osman Hasan
Lecture notes for computer science

Senast uppdaterad 2018-19-09 vid 19:50