FRINK Linked Data Fragments server

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

• W1992567939 abstract "Surgical robotic systems have to deliver a high quality of safety, since they deal with human lives. Their safety specifications must ensure the absence of risks for the patient and the operating room staff. To respect the modular nature of a surgical system, we propose a contract based verification approach for safety. We introduce a case study based on a typical surgical robotic operation scenario and model its components by using hybrid automata. We exploit the theory of parallel composition of contracts to verify properties on each component and prove that the property of the overall system can be obtained by composition." @default.
• W1992567939 created "2016-06-24" @default.
• W1992567939 creator A5048782023 @default.
• W1992567939 creator A5065107543 @default.
• W1992567939 creator A5075918242 @default.
• W1992567939 creator A5082040296 @default.
• W1992567939 creator A5083333159 @default.
• W1992567939 creator A5087985917 @default.
• W1992567939 date "2014-06-01" @default.
• W1992567939 modified "2023-09-27" @default.
• W1992567939 title "Application of contract-based verification techniques for hybrid automata to surgical robotic systems" @default.
• W1992567939 cites W1491037212 @default.
• W1992567939 cites W1535987901 @default.
• W1992567939 cites W1594976552 @default.
• W1992567939 cites W1705336855 @default.
• W1992567939 cites W1772923315 @default.
• W1992567939 cites W1801021781 @default.
• W1992567939 cites W1984544455 @default.
• W1992567939 cites W2004463571 @default.
• W1992567939 cites W2028287022 @default.
• W1992567939 cites W2052363833 @default.
• W1992567939 cites W2293287097 @default.
• W1992567939 cites W2911843551 @default.
• W1992567939 cites W3022429701 @default.
• W1992567939 doi "https://doi.org/10.1109/ecc.2014.6862231" @default.
• W1992567939 hasPublicationYear "2014" @default.
• W1992567939 type Work @default.
• W1992567939 sameAs 1992567939 @default.
• W1992567939 citedByCount "4" @default.
• W1992567939 countsByYear W19925679392015 @default.
• W1992567939 countsByYear W19925679392018 @default.
• W1992567939 countsByYear W19925679392020 @default.
• W1992567939 crossrefType "proceedings-article" @default.
• W1992567939 hasAuthorship W1992567939A5048782023 @default.
• W1992567939 hasAuthorship W1992567939A5065107543 @default.
• W1992567939 hasAuthorship W1992567939A5075918242 @default.
• W1992567939 hasAuthorship W1992567939A5082040296 @default.
• W1992567939 hasAuthorship W1992567939A5083333159 @default.
• W1992567939 hasAuthorship W1992567939A5087985917 @default.
• W1992567939 hasConcept C101468663 @default.
• W1992567939 hasConcept C110251889 @default.
• W1992567939 hasConcept C111472728 @default.
• W1992567939 hasConcept C112505250 @default.
• W1992567939 hasConcept C115903868 @default.
• W1992567939 hasConcept C119857082 @default.
• W1992567939 hasConcept C121332964 @default.
• W1992567939 hasConcept C138885662 @default.
• W1992567939 hasConcept C149091818 @default.
• W1992567939 hasConcept C154945302 @default.
• W1992567939 hasConcept C165696696 @default.
• W1992567939 hasConcept C168167062 @default.
• W1992567939 hasConcept C186846655 @default.
• W1992567939 hasConcept C189950617 @default.
• W1992567939 hasConcept C199360897 @default.
• W1992567939 hasConcept C2777904410 @default.
• W1992567939 hasConcept C2779530757 @default.
• W1992567939 hasConcept C3017684034 @default.
• W1992567939 hasConcept C38652104 @default.
• W1992567939 hasConcept C41008148 @default.
• W1992567939 hasConcept C50897621 @default.
• W1992567939 hasConcept C80291951 @default.
• W1992567939 hasConcept C90509273 @default.
• W1992567939 hasConcept C97355855 @default.
• W1992567939 hasConceptScore W1992567939C101468663 @default.
• W1992567939 hasConceptScore W1992567939C110251889 @default.
• W1992567939 hasConceptScore W1992567939C111472728 @default.
• W1992567939 hasConceptScore W1992567939C112505250 @default.
• W1992567939 hasConceptScore W1992567939C115903868 @default.
• W1992567939 hasConceptScore W1992567939C119857082 @default.
• W1992567939 hasConceptScore W1992567939C121332964 @default.
• W1992567939 hasConceptScore W1992567939C138885662 @default.
• W1992567939 hasConceptScore W1992567939C149091818 @default.
• W1992567939 hasConceptScore W1992567939C154945302 @default.
• W1992567939 hasConceptScore W1992567939C165696696 @default.
• W1992567939 hasConceptScore W1992567939C168167062 @default.
• W1992567939 hasConceptScore W1992567939C186846655 @default.
• W1992567939 hasConceptScore W1992567939C189950617 @default.
• W1992567939 hasConceptScore W1992567939C199360897 @default.
• W1992567939 hasConceptScore W1992567939C2777904410 @default.
• W1992567939 hasConceptScore W1992567939C2779530757 @default.
• W1992567939 hasConceptScore W1992567939C3017684034 @default.
• W1992567939 hasConceptScore W1992567939C38652104 @default.
• W1992567939 hasConceptScore W1992567939C41008148 @default.
• W1992567939 hasConceptScore W1992567939C50897621 @default.
• W1992567939 hasConceptScore W1992567939C80291951 @default.
• W1992567939 hasConceptScore W1992567939C90509273 @default.
• W1992567939 hasConceptScore W1992567939C97355855 @default.
• W1992567939 hasLocation W19925679391 @default.
• W1992567939 hasOpenAccess W1992567939 @default.
• W1992567939 hasPrimaryLocation W19925679391 @default.
• W1992567939 hasRelatedWork W1641829348 @default.
• W1992567939 hasRelatedWork W1705336855 @default.
• W1992567939 hasRelatedWork W1989327689 @default.
• W1992567939 hasRelatedWork W2021826976 @default.
• W1992567939 hasRelatedWork W2030417813 @default.
• W1992567939 hasRelatedWork W2036825125 @default.
• W1992567939 hasRelatedWork W2114864245 @default.
• W1992567939 hasRelatedWork W2148751905 @default.
• W1992567939 hasRelatedWork W2295204826 @default.
• W1992567939 hasRelatedWork W2416260474 @default.

• next