Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita. Towards a Verification-Based Development Approach for Reactive Systems. In Hamido Fujita, VladimÃr MarÃk, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic. Volume 199 of Frontiers in Artificial Intelligence and Applications, pages 350-363, IOS Press, 2009. [doi]
Abstract is missing.