Print Email Facebook Twitter Formalizing the concept phase of product development Title Formalizing the concept phase of product development Author Schuts, M. Hooman, J. Contributor Bjorner, N. (editor) de Boer, F. (editor) Publication year 2015 Abstract We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing Switzerland 2015. Subject Nano TechnologyHOL - HolstTS - Technical SciencesIndustryIndustrial InnovationModel checkingProduct developmentFormal modelFormal techniquesInterventionalModel-checking techniquesProduct realisationX-ray systemFormal methods To reference this document use: http://resolver.tudelft.nl/uuid:1b3433e9-8024-4df8-b4de-23fe647257a2 DOI https://doi.org/10.1007/978-3-319-19249-9_43 TNO identifier 527766 Publisher Springer Verlag ISBN 9783319192482 ISSN 0302-9743 Source 20th International Symposium on Formal Methods, FM 2015; Oslo; Norway; 24 June 2015 through 26 June 2015, 9109, 605-608 Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Document type conference paper Files To receive the publication files, please send an e-mail request to TNO Library.