Search for Author All Reviews
	Magnani, Gianluca     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       The Metrô Rio case study Ferrari A., Fantechi A., Magnani G., Grasso D., Tempestini M. Science of Computer Programming 78(7): 828-842, 2013.  Type: Article Seaplane and railway systems require reliable, smart machines for inevitably circumnavigating disasters and providing safety. How should formal models for the design, execution, and verification of automatic protection devices be devel...... Jun 16 2014
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy