Matches in SemOpenAlex for { <https://semopenalex.org/work/W3021377875> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3021377875 endingPage "111" @default.
- W3021377875 startingPage "107" @default.
- W3021377875 abstract "The specification and verification of real-time systems is an important component in the reliable development of such systems. Formal techniques of specification and verification have the advantage of formal analysis and design, as well as the possibility of automating some of the processes. FNLOG is a logic-based specification language for real-time systems, which is based on first order predicate logic with arithmetic extended by quantified temporal operators. FNLOG semantics is based on an underlying statechart, and a sound and relatively complete proof system for FNLOG exists. This paper presents extensions to FNLOG, inspired by Real Time Logic (RTL), to facilitate the specification of periodic and sporadic properties of real-time systems." @default.
- W3021377875 created "2020-05-13" @default.
- W3021377875 creator A5055952724 @default.
- W3021377875 date "1995-01-01" @default.
- W3021377875 modified "2023-09-24" @default.
- W3021377875 title "COMPARING RTL AND FNLOG- TIMING PROPERTIES IN REAL-TIME SYSTEMS" @default.
- W3021377875 cites W2056359803 @default.
- W3021377875 cites W2099529102 @default.
- W3021377875 cites W2625731293 @default.
- W3021377875 doi "https://doi.org/10.1016/b978-0-08-042237-4.50023-8" @default.
- W3021377875 hasPublicationYear "1995" @default.
- W3021377875 type Work @default.
- W3021377875 sameAs 3021377875 @default.
- W3021377875 citedByCount "0" @default.
- W3021377875 crossrefType "book-chapter" @default.
- W3021377875 hasAuthorship W3021377875A5055952724 @default.
- W3021377875 hasConcept C102993220 @default.
- W3021377875 hasConcept C111498074 @default.
- W3021377875 hasConcept C115903868 @default.
- W3021377875 hasConcept C116253237 @default.
- W3021377875 hasConcept C149635348 @default.
- W3021377875 hasConcept C184337299 @default.
- W3021377875 hasConcept C19689857 @default.
- W3021377875 hasConcept C199360897 @default.
- W3021377875 hasConcept C201677973 @default.
- W3021377875 hasConcept C25016198 @default.
- W3021377875 hasConcept C28472234 @default.
- W3021377875 hasConcept C41008148 @default.
- W3021377875 hasConcept C4777664 @default.
- W3021377875 hasConcept C75606506 @default.
- W3021377875 hasConcept C79403827 @default.
- W3021377875 hasConcept C80444323 @default.
- W3021377875 hasConcept C84651959 @default.
- W3021377875 hasConceptScore W3021377875C102993220 @default.
- W3021377875 hasConceptScore W3021377875C111498074 @default.
- W3021377875 hasConceptScore W3021377875C115903868 @default.
- W3021377875 hasConceptScore W3021377875C116253237 @default.
- W3021377875 hasConceptScore W3021377875C149635348 @default.
- W3021377875 hasConceptScore W3021377875C184337299 @default.
- W3021377875 hasConceptScore W3021377875C19689857 @default.
- W3021377875 hasConceptScore W3021377875C199360897 @default.
- W3021377875 hasConceptScore W3021377875C201677973 @default.
- W3021377875 hasConceptScore W3021377875C25016198 @default.
- W3021377875 hasConceptScore W3021377875C28472234 @default.
- W3021377875 hasConceptScore W3021377875C41008148 @default.
- W3021377875 hasConceptScore W3021377875C4777664 @default.
- W3021377875 hasConceptScore W3021377875C75606506 @default.
- W3021377875 hasConceptScore W3021377875C79403827 @default.
- W3021377875 hasConceptScore W3021377875C80444323 @default.
- W3021377875 hasConceptScore W3021377875C84651959 @default.
- W3021377875 hasLocation W30213778751 @default.
- W3021377875 hasOpenAccess W3021377875 @default.
- W3021377875 hasPrimaryLocation W30213778751 @default.
- W3021377875 hasRelatedWork W1479987225 @default.
- W3021377875 hasRelatedWork W1480438414 @default.
- W3021377875 hasRelatedWork W1494712994 @default.
- W3021377875 hasRelatedWork W1582888271 @default.
- W3021377875 hasRelatedWork W1986558577 @default.
- W3021377875 hasRelatedWork W1998872168 @default.
- W3021377875 hasRelatedWork W2014573220 @default.
- W3021377875 hasRelatedWork W2036107243 @default.
- W3021377875 hasRelatedWork W2058890554 @default.
- W3021377875 hasRelatedWork W2060070465 @default.
- W3021377875 hasRelatedWork W2083691537 @default.
- W3021377875 hasRelatedWork W2105182891 @default.
- W3021377875 hasRelatedWork W2119645170 @default.
- W3021377875 hasRelatedWork W2121341646 @default.
- W3021377875 hasRelatedWork W2151449640 @default.
- W3021377875 hasRelatedWork W2152691384 @default.
- W3021377875 hasRelatedWork W2163228844 @default.
- W3021377875 hasRelatedWork W2166538840 @default.
- W3021377875 hasRelatedWork W2800034100 @default.
- W3021377875 hasRelatedWork W2152160528 @default.
- W3021377875 isParatext "false" @default.
- W3021377875 isRetracted "false" @default.
- W3021377875 magId "3021377875" @default.
- W3021377875 workType "book-chapter" @default.