Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

6 results
authFullName_s : Marjan Sirjani
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

Coordination Models and Languages

 Marjan Sirjani
Springer, LNCS-7274, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30829-1⟩
Books hal-01529599v1

Fundamentals of Software Engineering

 Mehdi Dastani , Marjan Sirjani
Springer, LNCS-9392, 2015, Fundamentals of Software Engineering, 978-3-319-24643-7. ⟨10.1007/978-3-319-24644-4⟩
Books hal-01446615v1

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

Fundamentals of Software Engineering

 Farhad Arbab , Marjan Sirjani
Farhad Arbab; Marjan Sirjani. Springer Berlin Heidelberg, LNCS-8161, 2013, Lecture Notes in Computer Science, 978-3-642-40212-8. ⟨10.1007/978-3-642-40213-5⟩
Books hal-01514876v1
Image document

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

 Narges Khakpour , Jetty Kleijn , Marjan Sirjani
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.3-19, ⟨10.1007/978-3-030-31517-7_1⟩
Conference papers hal-03769124v1
Page :