Calinescu, Radu.

概要

作品:	2 作品在 5 項出版品 1 種語言

書目資訊

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) (書目-電子資源)

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) (書目-電子資源)

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) (書目-電子資源)

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) (書目-電子資源)

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

主題