Formalizing the concept phase of product development

conference paper

Schuts, M.

Hooman, J.
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.
Topics








Model checkingProduct developmentFormal modelFormal techniquesInterventionalModel-checking techniquesProduct realisationX-ray systemFormal methods
TNO Identifier
527766
Repository link
https://resolver.tno.nl/uuid:1b3433e9-8024-4df8-b4de-23fe647257a2
ISSN
03029743
ISBN
9783319192482
Publisher
Springer Verlag
Source title
20th International Symposium on Formal Methods, FM 2015; Oslo; Norway; 24 June 2015 through 26 June 2015
Editor(s)
Bjorner, N.
Boer, F. de
Pages
605-608
Files
To receive the publication files, please send an e-mail request to TNO Repository.