Search - IFIP - Lecture Notes in Computer Science

8 results

authFullName_s : Marjan Sirjani

authFullName_s : Jetty Kleijn

	For these 8 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Team Automata@Work: On Safe Communication Maurice H. ter Beek , Rolf Hennicker , Jetty Kleijn 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩ Conference papers hal-03273992v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Communication Requirements for Team Automata Maurice Beek , Josep Carmona , Rolf Hennicker , Jetty Kleijn 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩ Conference papers hal-01657348v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More