Calinescu, Radu.

概要

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

書目資訊

Software engineering and formal methods19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: (1998 :); Calinescu, Radu.; Pasareanu, Corina S.; SpringerLink (Online service) (書目-電子資源)

Software engineering and formal methods13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (1998 :); Calinescu, Radu.; Rumpe, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Software engineering for resilient systems11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019 : proceedings / by: (1998 :); Calinescu, Radu.; Di Giandomenico, Felicita.; SpringerLink (Online service) (書目-電子資源)

Software engineering and formal methodsSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / by: (1998 :); Bianculli, Domenico.; Calinescu, Radu.; Rumpe, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Large-scale complex IT systemsdevelopment, operation and management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / by: (1998 :); Calinescu, Radu.; Garlan, David.; SpringerLink (Online service) (書目-電子資源)

主題