Early fault detection in industry using models at various abstraction levels

conference paper


Hooman, J.

Mooij, A.J.

Wezep, H. van
Topics




















Abstraction levelCode GenerationCommercial toolsCompositional verificationDetailed designFormal modelFormal modellingFormal techniquesIndustrial developmentInteractive visualizationsRefinement checkingAbstractingDesign modelFault detectionIndustryNetwork componentsVisualizationComputer simulationInterface modelPhilips healthcareControl component
TNO Identifier
954355
Repository link
https://resolver.tno.nl/uuid:7c050dc7-436a-4558-b8a9-cd8fecbf0138
DOI
https://dx.doi.org/10.1007/978-3-642-30729-4_19
ISSN
03029743
ISBN
9783642307287
Publisher
Springer
Source title
9th International Conference on Integrated Formal Methods, IFM 2012, 18 June 2012 through 21 June 2012
Pages
268-282
Files
To receive the publication files, please send an e-mail request to TNO Repository.