Login / Signup
Mahsa Zarneshan
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Desirable Characteristics
Formal Methods
Bio Medical
Web Service Technology
Top Venues
CoRR
Log. Methods Comput. Sci.
COORDINATION
</>
Publications
</>
Mahsa Zarneshan
,
Fatemeh Ghassemi
,
Ehsan Khamespanah
,
Marjan Sirjani
,
John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems.
Log. Methods Comput. Sci.
18 (2) (2022)
Mahsa Zarneshan
,
Fatemeh Ghassemi
,
Ehsan Khamespanah
,
Marjan Sirjani
,
John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems.
CoRR
(2020)
Mahsa Zarneshan
,
Fatemeh Ghassemi
,
Marjan Sirjani
Formal Modeling and Analysis of Medical Systems.
COORDINATION
(2020)