Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023753675> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2023753675 abstract "Formally modelling the software functionality and interactivity of safety-critical devices allows us to prove properties about their behaviours and be certain that they will respond to user interaction correctly. In domains such as medical environments, where many different devices may be used, it is equally important to ensure that all devices used adhere to a set of safety, and other, principles designed for that environment. In this paper we look at modelling important properties of interactive medical devices including safety considerations mandated by their users. We use ProZ for model checking to ensure that properties stated in temporal logic hold, and also to check invariants. In this way we gain confidence that important properties do hold of the device, and that models of particular devices adhere to the properties described." @default.
- W2023753675 created "2016-06-24" @default.
- W2023753675 creator A5072140657 @default.
- W2023753675 creator A5084137497 @default.
- W2023753675 date "2013-06-24" @default.
- W2023753675 modified "2023-09-27" @default.
- W2023753675 title "Modelling safety properties of interactive medical systems" @default.
- W2023753675 cites W2015490344 @default.
- W2023753675 cites W2019217423 @default.
- W2023753675 cites W2067100278 @default.
- W2023753675 cites W2093274105 @default.
- W2023753675 doi "https://doi.org/10.1145/2494603.2480314" @default.
- W2023753675 hasPublicationYear "2013" @default.
- W2023753675 type Work @default.
- W2023753675 sameAs 2023753675 @default.
- W2023753675 citedByCount "22" @default.
- W2023753675 countsByYear W20237536752013 @default.
- W2023753675 countsByYear W20237536752014 @default.
- W2023753675 countsByYear W20237536752015 @default.
- W2023753675 countsByYear W20237536752016 @default.
- W2023753675 countsByYear W20237536752017 @default.
- W2023753675 countsByYear W20237536752018 @default.
- W2023753675 countsByYear W20237536752019 @default.
- W2023753675 countsByYear W20237536752021 @default.
- W2023753675 countsByYear W20237536752022 @default.
- W2023753675 countsByYear W20237536752023 @default.
- W2023753675 crossrefType "proceedings-article" @default.
- W2023753675 hasAuthorship W2023753675A5072140657 @default.
- W2023753675 hasAuthorship W2023753675A5084137497 @default.
- W2023753675 hasConcept C107457646 @default.
- W2023753675 hasConcept C110251889 @default.
- W2023753675 hasConcept C115903868 @default.
- W2023753675 hasConcept C136764020 @default.
- W2023753675 hasConcept C144430266 @default.
- W2023753675 hasConcept C177264268 @default.
- W2023753675 hasConcept C199360897 @default.
- W2023753675 hasConcept C2777904410 @default.
- W2023753675 hasConcept C41008148 @default.
- W2023753675 hasConceptScore W2023753675C107457646 @default.
- W2023753675 hasConceptScore W2023753675C110251889 @default.
- W2023753675 hasConceptScore W2023753675C115903868 @default.
- W2023753675 hasConceptScore W2023753675C136764020 @default.
- W2023753675 hasConceptScore W2023753675C144430266 @default.
- W2023753675 hasConceptScore W2023753675C177264268 @default.
- W2023753675 hasConceptScore W2023753675C199360897 @default.
- W2023753675 hasConceptScore W2023753675C2777904410 @default.
- W2023753675 hasConceptScore W2023753675C41008148 @default.
- W2023753675 hasLocation W20237536751 @default.
- W2023753675 hasOpenAccess W2023753675 @default.
- W2023753675 hasPrimaryLocation W20237536751 @default.
- W2023753675 hasRelatedWork W2117798332 @default.
- W2023753675 hasRelatedWork W2123917022 @default.
- W2023753675 hasRelatedWork W2134424614 @default.
- W2023753675 hasRelatedWork W2157297579 @default.
- W2023753675 hasRelatedWork W2186187400 @default.
- W2023753675 hasRelatedWork W2364866360 @default.
- W2023753675 hasRelatedWork W2386437785 @default.
- W2023753675 hasRelatedWork W3040831932 @default.
- W2023753675 hasRelatedWork W3056668664 @default.
- W2023753675 hasRelatedWork W4213212479 @default.
- W2023753675 isParatext "false" @default.
- W2023753675 isRetracted "false" @default.
- W2023753675 magId "2023753675" @default.
- W2023753675 workType "article" @default.