Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110801648> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2110801648 abstract "This paper presents an approach to capturing safety properties for safety critical systems using the Structured Object-oriented Formal Language (SOFL). The approach features a process and five keys for capturing safety properties that need to be verified based on a software model. The five keys include constraints of functions, domain knowledge for functions, developer's experience, real-time constraints on functions and input/output device." @default.
- W2110801648 created "2016-06-24" @default.
- W2110801648 creator A5044917982 @default.
- W2110801648 creator A5047320731 @default.
- W2110801648 date "2011-05-01" @default.
- W2110801648 modified "2023-09-27" @default.
- W2110801648 title "Capturing Safety Properties for Safety-Critical Systems Using SOFL" @default.
- W2110801648 cites W132594803 @default.
- W2110801648 cites W1485714277 @default.
- W2110801648 cites W1544675707 @default.
- W2110801648 cites W1552655093 @default.
- W2110801648 cites W1570153265 @default.
- W2110801648 cites W1591412383 @default.
- W2110801648 cites W1854140287 @default.
- W2110801648 cites W2002682350 @default.
- W2110801648 cites W2021917262 @default.
- W2110801648 cites W2049097926 @default.
- W2110801648 cites W2061076057 @default.
- W2110801648 cites W2093832730 @default.
- W2110801648 cites W2095329332 @default.
- W2110801648 cites W2103885980 @default.
- W2110801648 cites W2111524952 @default.
- W2110801648 cites W2112198760 @default.
- W2110801648 cites W2115179079 @default.
- W2110801648 cites W2116095425 @default.
- W2110801648 cites W2125817140 @default.
- W2110801648 cites W2127159302 @default.
- W2110801648 cites W2162300032 @default.
- W2110801648 cites W2169564714 @default.
- W2110801648 cites W2346597859 @default.
- W2110801648 cites W3177710316 @default.
- W2110801648 cites W90155490 @default.
- W2110801648 doi "https://doi.org/10.1109/cnsi.2011.1" @default.
- W2110801648 hasPublicationYear "2011" @default.
- W2110801648 type Work @default.
- W2110801648 sameAs 2110801648 @default.
- W2110801648 citedByCount "2" @default.
- W2110801648 countsByYear W21108016482013 @default.
- W2110801648 countsByYear W21108016482014 @default.
- W2110801648 crossrefType "proceedings-article" @default.
- W2110801648 hasAuthorship W2110801648A5044917982 @default.
- W2110801648 hasAuthorship W2110801648A5047320731 @default.
- W2110801648 hasConcept C115903868 @default.
- W2110801648 hasConcept C127413603 @default.
- W2110801648 hasConcept C132835097 @default.
- W2110801648 hasConcept C134306372 @default.
- W2110801648 hasConcept C163707989 @default.
- W2110801648 hasConcept C199360897 @default.
- W2110801648 hasConcept C200601418 @default.
- W2110801648 hasConcept C201995342 @default.
- W2110801648 hasConcept C2777904410 @default.
- W2110801648 hasConcept C2780074322 @default.
- W2110801648 hasConcept C33923547 @default.
- W2110801648 hasConcept C36503486 @default.
- W2110801648 hasConcept C41008148 @default.
- W2110801648 hasConcept C98045186 @default.
- W2110801648 hasConceptScore W2110801648C115903868 @default.
- W2110801648 hasConceptScore W2110801648C127413603 @default.
- W2110801648 hasConceptScore W2110801648C132835097 @default.
- W2110801648 hasConceptScore W2110801648C134306372 @default.
- W2110801648 hasConceptScore W2110801648C163707989 @default.
- W2110801648 hasConceptScore W2110801648C199360897 @default.
- W2110801648 hasConceptScore W2110801648C200601418 @default.
- W2110801648 hasConceptScore W2110801648C201995342 @default.
- W2110801648 hasConceptScore W2110801648C2777904410 @default.
- W2110801648 hasConceptScore W2110801648C2780074322 @default.
- W2110801648 hasConceptScore W2110801648C33923547 @default.
- W2110801648 hasConceptScore W2110801648C36503486 @default.
- W2110801648 hasConceptScore W2110801648C41008148 @default.
- W2110801648 hasConceptScore W2110801648C98045186 @default.
- W2110801648 hasLocation W21108016481 @default.
- W2110801648 hasOpenAccess W2110801648 @default.
- W2110801648 hasPrimaryLocation W21108016481 @default.
- W2110801648 hasRelatedWork W143597826 @default.
- W2110801648 hasRelatedWork W1503502818 @default.
- W2110801648 hasRelatedWork W1510858002 @default.
- W2110801648 hasRelatedWork W1523115821 @default.
- W2110801648 hasRelatedWork W1566315049 @default.
- W2110801648 hasRelatedWork W1577749635 @default.
- W2110801648 hasRelatedWork W2055146545 @default.
- W2110801648 hasRelatedWork W2147290904 @default.
- W2110801648 hasRelatedWork W2206701141 @default.
- W2110801648 hasRelatedWork W2462484355 @default.
- W2110801648 hasRelatedWork W2536761459 @default.
- W2110801648 hasRelatedWork W2897276829 @default.
- W2110801648 hasRelatedWork W2904183422 @default.
- W2110801648 hasRelatedWork W2948452659 @default.
- W2110801648 hasRelatedWork W2993587011 @default.
- W2110801648 hasRelatedWork W3098580426 @default.
- W2110801648 hasRelatedWork W3106223272 @default.
- W2110801648 hasRelatedWork W3112165139 @default.
- W2110801648 hasRelatedWork W347596091 @default.
- W2110801648 hasRelatedWork W525018 @default.
- W2110801648 isParatext "false" @default.
- W2110801648 isRetracted "false" @default.
- W2110801648 magId "2110801648" @default.
- W2110801648 workType "article" @default.