臺北市立大學行動版館藏查詢

Fantechi, Alessandro.(作者(個人/團體)) ，共查得4 件。

Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / edited by Darren Cofer, Alessandro Fantechi 2009

From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday / edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini. 2019.

Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky. 2017.

Software engineering for resilient systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione. 2015.

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :