Calinescu, Radu.

Overview

Works:	2 works in 5 publications in 1 languages

Titles

Software engineering for resilient systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019 : proceedings / by: SERENE (Workshop) (2019 :); Calinescu, Radu.; Di Giandomenico, Felicita.; SpringerLink (Online service) (Electronic resources)

Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / by: Calinescu, Radu.; Bianculli, Domenico.; Rumpe, Bernhard.; SpringerLink (Online service) (Electronic resources)

Large-scale complex IT systems = development, operation and management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / by: Calinescu, Radu.; Garlan, David.; SpringerLink (Online service) (Electronic resources)

Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: Calinescu, Radu.; Rumpe, Bernhard.; SpringerLink (Online service) (Electronic resources)

Software engineering and formal methods = 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: Calinescu, Radu.; SpringerLink (Online service); Pasareanu, Corina S.; International Conference on Software Engineering and Formal Methods (2021 :) (Electronic resources)

Subjects