Login / Signup
Tullio Joseph Tanzi
ORCID
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 3
Top Topics
Autonomous Systems
Provably Correct
Disaster Management
Emergency Response
Top Venues
ITDRR
ISPRS Int. J. Geo Inf.
</>
Publications
</>
Orhan Altan
,
Tullio Joseph Tanzi
,
Madhu Chandra
,
Filiz Sunar
,
Lena Halounová
Spatially Supported Disaster Management: Introduction to the Special Issue "GI for Disaster Management".
ISPRS Int. J. Geo Inf.
9 (5) (2020)
Lilia Belabed
,
Tullio Joseph Tanzi
,
Sophie Coudert
Formal Methods for Railway Disasters Prevention.
ITDRR
(2017)
Sophie Coudert
,
Tullio Joseph Tanzi
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management.
ITDRR
(2016)