Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1030394
Page :
sorted by
Image document

Formal Modeling and Analysis of Medical Systems

 Mahsa Zarneshan , Fatemeh Ghassemi , Marjan Sirjani
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩
Conference papers hal-03273989v1

Fundamentals of Software Engineering

 Mehdi Dastani , Marjan Sirjani
Springer International Publishing, LNCS-10522, 2017, Lecture Notes in Computer Science, 978-3-319-68971-5. ⟨10.1007/978-3-319-68972-2⟩
Books hal-01760860v1
Page :