According to our database1, Giovanni Lombardi
Legend:Book In proceedings Article PhD thesis Other
Experimenting with Diversity in the Formal Development of Railway Signalling Systems.
ERCIM News, 2008
Model driven development of railway systems using diversity.
Comput. Syst. Sci. Eng., 2008
Experimenting with diversity in the model driven development of a railway signaling system.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007
Model Driven Development and Code Generation: An Automotive Case Study.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007
Optimum shape design for turbulent viscous flows around complete configurations of 2D flying sails.
J. Comput. Meth. in Science and Engineering, 2004
High-performance road-vehicle optimised aerodynamic design: Application of parallel computing to car design.
Future Generation Comp. Syst., 1999
HIgh PErformance ROADvehicle Optimized Aerodynamic Design: Application of Parallel Computing to Car Design.
Proceedings of the High-Performance Computing and Networking, 1998