Search For:

Displaying 1-1 out of 1 total
Model-Based Development and Formal Methods in the Railway Industry
Found in: IEEE Software
By Alessio Ferrari,Alessandro Fantechi,Stefania Gnesi,Gianluca Magnani
Issue Date:May 2013
pp. 28-34
The transition from a code-based process to a model-based process isn't easy. This is particularly true for a company that operates in a safety-critical sector, where the products must be developed according to international standards, with certified tools...