Old Web
English
Sign In
Acemap
>
authorDetail
>
Andrea Piattino
Andrea Piattino
Formal methods
Computer science
Body of knowledge
Engineering management
Theoretical computer science
3
Papers
44
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.
2020
Davide Basile
Maurice H. ter Beek
Alessandro Fantechi
Alessio Ferrari
Stefania Gnesi
Laura Masullo
Franco Mazzanti
Andrea Piattino
Daniele Trentini
Show All
Source
Cite
Save
Citations (4)
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
2019
Alessio Ferrari
Maurice H. ter Beek
Franco Mazzanti
Davide Basile
Alessandro Fantechi
Stefania Gnesi
Andrea Piattino
Daniele Trentini
Show All
Source
Cite
Save
Citations (11)
On the Industrial Uptake of Formal Methods in the Railway Domain
2018
IFM | Integrated Formal Methods
Davide Basile
Maurice H. ter Beek
Alessandro Fantechi
Stefania Gnesi
Franco Mazzanti
Andrea Piattino
Daniele Trentini
Alessio Ferrari
Show All
Source
Cite
Save
Citations (29)
1