語系
跳至 : 概要 | 書目資訊 | 主題

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) (書目-電子資源)
 
 
變更密碼
登入