Giorgio Mongardi
According to our database1,
Giorgio Mongardi
authored at least 7 papers
between 1995 and 2001.
Collaborative distances:
Collaborative distances:
Timeline
1995
1996
1997
1998
1999
2000
2001
0
1
2
3
4
5
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2001
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.
Comput. Syst. Sci. Eng., 2001
1998
Formal Methods Syst. Des., 1998
Formal Aspects Comput., 1998
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
Proceedings of the Computer Safety, 1998
Proceedings of the Computer Safety, 1998
1996
Proceedings of the Dependable Computing, 1996
1995
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
Proceedings of the 14th International Conference on Computer Safety, 1995