FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1670265348> ?p ?o ?g. }

• W1670265348 endingPage "240" @default.
• W1670265348 startingPage "228" @default.
• W1670265348 abstract "A realistic user interface is rigorously developed for the US Food and Drug Administration (FDA) Generic Patient Controlled Analgesia (GPCA) pump prototype. The GPCA pump prototype is intended as a realistic workbench for trialling development methods and techniques for improving the safety of such devices. A model-based approach based on the use of formal methods is illustrated and implemented within the Prototype Verification System (PVS) verification system. The user interface behaviour is formally specified as an executable PVS model. The specification is verified with the PVS theorem prover against relevant safety requirements provided by the FDA for the GPCA pump. The same specification is automatically translated into executable code through the PVS code generator, and hence a high fidelity prototype is then developed that incorporates the generated executable code." @default.
• W1670265348 created "2016-06-24" @default.
• W1670265348 creator A5000705557 @default.
• W1670265348 creator A5025355465 @default.
• W1670265348 creator A5030456600 @default.
• W1670265348 creator A5040518309 @default.
• W1670265348 creator A5063933019 @default.
• W1670265348 creator A5082105260 @default.
• W1670265348 date "2013-01-01" @default.
• W1670265348 modified "2023-10-17" @default.
• W1670265348 title "Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS" @default.
• W1670265348 cites W1511351994 @default.
• W1670265348 cites W1523668689 @default.
• W1670265348 cites W1585234089 @default.
• W1670265348 cites W1659048632 @default.
• W1670265348 cites W1909120645 @default.
• W1670265348 cites W1969781503 @default.
• W1670265348 cites W1970596867 @default.
• W1670265348 cites W2039640681 @default.
• W1670265348 cites W2054546335 @default.
• W1670265348 cites W2091880323 @default.
• W1670265348 cites W2098230708 @default.
• W1670265348 cites W2124517782 @default.
• W1670265348 cites W2131209722 @default.
• W1670265348 cites W2152630790 @default.
• W1670265348 cites W2010017090 @default.
• W1670265348 doi "https://doi.org/10.1007/978-3-642-40793-2_21" @default.
• W1670265348 hasPublicationYear "2013" @default.
• W1670265348 type Work @default.
• W1670265348 sameAs 1670265348 @default.
• W1670265348 citedByCount "22" @default.
• W1670265348 countsByYear W16702653482014 @default.
• W1670265348 countsByYear W16702653482015 @default.
• W1670265348 countsByYear W16702653482016 @default.
• W1670265348 countsByYear W16702653482017 @default.
• W1670265348 countsByYear W16702653482018 @default.
• W1670265348 countsByYear W16702653482019 @default.
• W1670265348 countsByYear W16702653482020 @default.
• W1670265348 countsByYear W16702653482021 @default.
• W1670265348 countsByYear W16702653482022 @default.
• W1670265348 crossrefType "book-chapter" @default.
• W1670265348 hasAuthorship W1670265348A5000705557 @default.
• W1670265348 hasAuthorship W1670265348A5025355465 @default.
• W1670265348 hasAuthorship W1670265348A5030456600 @default.
• W1670265348 hasAuthorship W1670265348A5040518309 @default.
• W1670265348 hasAuthorship W1670265348A5063933019 @default.
• W1670265348 hasAuthorship W1670265348A5082105260 @default.
• W1670265348 hasBestOaLocation W16702653482 @default.
• W1670265348 hasConcept C111919701 @default.
• W1670265348 hasConcept C113843644 @default.
• W1670265348 hasConcept C115903868 @default.
• W1670265348 hasConcept C124101348 @default.
• W1670265348 hasConcept C129307140 @default.
• W1670265348 hasConcept C133162039 @default.
• W1670265348 hasConcept C149635348 @default.
• W1670265348 hasConcept C157915830 @default.
• W1670265348 hasConcept C160145156 @default.
• W1670265348 hasConcept C177264268 @default.
• W1670265348 hasConcept C199360897 @default.
• W1670265348 hasConcept C206880738 @default.
• W1670265348 hasConcept C26517878 @default.
• W1670265348 hasConcept C2776760102 @default.
• W1670265348 hasConcept C2779145975 @default.
• W1670265348 hasConcept C36464697 @default.
• W1670265348 hasConcept C41008148 @default.
• W1670265348 hasConcept C89505385 @default.
• W1670265348 hasConceptScore W1670265348C111919701 @default.
• W1670265348 hasConceptScore W1670265348C113843644 @default.
• W1670265348 hasConceptScore W1670265348C115903868 @default.
• W1670265348 hasConceptScore W1670265348C124101348 @default.
• W1670265348 hasConceptScore W1670265348C129307140 @default.
• W1670265348 hasConceptScore W1670265348C133162039 @default.
• W1670265348 hasConceptScore W1670265348C149635348 @default.
• W1670265348 hasConceptScore W1670265348C157915830 @default.
• W1670265348 hasConceptScore W1670265348C160145156 @default.
• W1670265348 hasConceptScore W1670265348C177264268 @default.
• W1670265348 hasConceptScore W1670265348C199360897 @default.
• W1670265348 hasConceptScore W1670265348C206880738 @default.
• W1670265348 hasConceptScore W1670265348C26517878 @default.
• W1670265348 hasConceptScore W1670265348C2776760102 @default.
• W1670265348 hasConceptScore W1670265348C2779145975 @default.
• W1670265348 hasConceptScore W1670265348C36464697 @default.
• W1670265348 hasConceptScore W1670265348C41008148 @default.
• W1670265348 hasConceptScore W1670265348C89505385 @default.
• W1670265348 hasLocation W16702653481 @default.
• W1670265348 hasLocation W16702653482 @default.
• W1670265348 hasOpenAccess W1670265348 @default.
• W1670265348 hasPrimaryLocation W16702653481 @default.
• W1670265348 hasRelatedWork W1670265348 @default.
• W1670265348 hasRelatedWork W1978170299 @default.
• W1670265348 hasRelatedWork W2104401375 @default.
• W1670265348 hasRelatedWork W2106271920 @default.
• W1670265348 hasRelatedWork W2107340121 @default.
• W1670265348 hasRelatedWork W2117168283 @default.
• W1670265348 hasRelatedWork W2384847609 @default.
• W1670265348 hasRelatedWork W2487805831 @default.
• W1670265348 hasRelatedWork W2494932349 @default.
• W1670265348 hasRelatedWork W4240395313 @default.

• next