FRINK Linked Data Fragments server

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

• W2549863208 abstract "Engineering and computer science have come up with a variety of techniques to increase the confidence in systems, increase reliability, facilitate certification, improve reuse and maintainability, improve interoperability and portability. Among them are various techniques based on formal models to enhance testing, validation and verification. In this paper, we are concentrating on formal verification both at runtime and design time of a system. Formal verification of a system property at design time is the process of mathematically proving that the property indeed holds. At runtime, one can check the validity of the property and report deviations by monitoring the system execution. Formal verification relies on semantic models, descriptions of the system and its properties. We report on ongoing verification work and present two different approaches for formal verification of IEC 61499-based programs. We provide two examples of ongoing work to exemplify the design and the runtime verification approaches." @default.
• W2549863208 created "2016-11-30" @default.
• W2549863208 creator A5002757956 @default.
• W2549863208 creator A5008070913 @default.
• W2549863208 creator A5009216509 @default.
• W2549863208 creator A5018336060 @default.
• W2549863208 creator A5039614631 @default.
• W2549863208 date "2016-09-01" @default.
• W2549863208 modified "2023-10-02" @default.
• W2549863208 title "A Comparison of Formal Verification Approaches for IEC 61499" @default.
• W2549863208 cites W1541947827 @default.
• W2549863208 cites W1566741425 @default.
• W2549863208 cites W1592879244 @default.
• W2549863208 cites W1675273873 @default.
• W2549863208 cites W1931915779 @default.
• W2549863208 cites W2014187419 @default.
• W2549863208 cites W2016047874 @default.
• W2549863208 cites W2018642465 @default.
• W2549863208 cites W2042773624 @default.
• W2549863208 cites W2048327004 @default.
• W2549863208 cites W2052363833 @default.
• W2549863208 cites W2053004842 @default.
• W2549863208 cites W2071558261 @default.
• W2549863208 cites W2077811977 @default.
• W2549863208 cites W2085145266 @default.
• W2549863208 cites W2115663162 @default.
• W2549863208 cites W2139573796 @default.
• W2549863208 cites W2145352651 @default.
• W2549863208 cites W2149505323 @default.
• W2549863208 cites W2156260766 @default.
• W2549863208 cites W2243766980 @default.
• W2549863208 cites W2245041182 @default.
• W2549863208 cites W2263584683 @default.
• W2549863208 cites W2480783415 @default.
• W2549863208 cites W2486944488 @default.
• W2549863208 cites W2987907651 @default.
• W2549863208 cites W36372577 @default.
• W2549863208 cites W4232314362 @default.
• W2549863208 doi "https://doi.org/10.1109/etfa.2016.7733636" @default.
• W2549863208 hasPublicationYear "2016" @default.
• W2549863208 type Work @default.
• W2549863208 sameAs 2549863208 @default.
• W2549863208 citedByCount "9" @default.
• W2549863208 countsByYear W25498632082018 @default.
• W2549863208 countsByYear W25498632082019 @default.
• W2549863208 countsByYear W25498632082021 @default.
• W2549863208 countsByYear W25498632082022 @default.
• W2549863208 countsByYear W25498632082023 @default.
• W2549863208 crossrefType "proceedings-article" @default.
• W2549863208 hasAuthorship W2549863208A5002757956 @default.
• W2549863208 hasAuthorship W2549863208A5008070913 @default.
• W2549863208 hasAuthorship W2549863208A5009216509 @default.
• W2549863208 hasAuthorship W2549863208A5018336060 @default.
• W2549863208 hasAuthorship W2549863208A5039614631 @default.
• W2549863208 hasConcept C111498074 @default.
• W2549863208 hasConcept C115903868 @default.
• W2549863208 hasConcept C116253237 @default.
• W2549863208 hasConcept C127413603 @default.
• W2549863208 hasConcept C142284323 @default.
• W2549863208 hasConcept C149091818 @default.
• W2549863208 hasConcept C160713754 @default.
• W2549863208 hasConcept C186846655 @default.
• W2549863208 hasConcept C187250869 @default.
• W2549863208 hasConcept C199360897 @default.
• W2549863208 hasConcept C202973057 @default.
• W2549863208 hasConcept C206588197 @default.
• W2549863208 hasConcept C2777904410 @default.
• W2549863208 hasConcept C33054407 @default.
• W2549863208 hasConcept C3406870 @default.
• W2549863208 hasConcept C41008148 @default.
• W2549863208 hasConcept C548081761 @default.
• W2549863208 hasConcept C62460635 @default.
• W2549863208 hasConcept C63000827 @default.
• W2549863208 hasConcept C75606506 @default.
• W2549863208 hasConceptScore W2549863208C111498074 @default.
• W2549863208 hasConceptScore W2549863208C115903868 @default.
• W2549863208 hasConceptScore W2549863208C116253237 @default.
• W2549863208 hasConceptScore W2549863208C127413603 @default.
• W2549863208 hasConceptScore W2549863208C142284323 @default.
• W2549863208 hasConceptScore W2549863208C149091818 @default.
• W2549863208 hasConceptScore W2549863208C160713754 @default.
• W2549863208 hasConceptScore W2549863208C186846655 @default.
• W2549863208 hasConceptScore W2549863208C187250869 @default.
• W2549863208 hasConceptScore W2549863208C199360897 @default.
• W2549863208 hasConceptScore W2549863208C202973057 @default.
• W2549863208 hasConceptScore W2549863208C206588197 @default.
• W2549863208 hasConceptScore W2549863208C2777904410 @default.
• W2549863208 hasConceptScore W2549863208C33054407 @default.
• W2549863208 hasConceptScore W2549863208C3406870 @default.
• W2549863208 hasConceptScore W2549863208C41008148 @default.
• W2549863208 hasConceptScore W2549863208C548081761 @default.
• W2549863208 hasConceptScore W2549863208C62460635 @default.
• W2549863208 hasConceptScore W2549863208C63000827 @default.
• W2549863208 hasConceptScore W2549863208C75606506 @default.
• W2549863208 hasLocation W25498632081 @default.
• W2549863208 hasOpenAccess W2549863208 @default.
• W2549863208 hasPrimaryLocation W25498632081 @default.
• W2549863208 hasRelatedWork W1563456403 @default.
• W2549863208 hasRelatedWork W2106507440 @default.
• W2549863208 hasRelatedWork W2108860137 @default.

• next