Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122332266> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2122332266 abstract "This paper shows that logic programming languages, such as PROLOG, provide useful computational logic for modelling, simulating and verifying real-time discrete event processes. The notion of a timed transition model (TTM) is provided as a generic computational model for real-time systems and real-time temporal logic (RTTL) is used for specifying the properties to be verified. Automatic testing and simulation of safety properties of the system specification by the logic programming language PROLOG is presented using the example of a simplified TTM press line model. Interest is limited to the use of PROLOG in the construction and checking of proof diagrams for the time invariance of system specifications. >" @default.
- W2122332266 created "2016-06-24" @default.
- W2122332266 creator A5006364009 @default.
- W2122332266 creator A5075636031 @default.
- W2122332266 creator A5090623468 @default.
- W2122332266 date "2002-12-31" @default.
- W2122332266 modified "2023-09-25" @default.
- W2122332266 title "Formal verification invariance properties of a robot sheet metal pressing cell" @default.
- W2122332266 cites W2087276283 @default.
- W2122332266 cites W2131659851 @default.
- W2122332266 doi "https://doi.org/10.1109/isie.1993.268782" @default.
- W2122332266 hasPublicationYear "2002" @default.
- W2122332266 type Work @default.
- W2122332266 sameAs 2122332266 @default.
- W2122332266 citedByCount "0" @default.
- W2122332266 crossrefType "proceedings-article" @default.
- W2122332266 hasAuthorship W2122332266A5006364009 @default.
- W2122332266 hasAuthorship W2122332266A5075636031 @default.
- W2122332266 hasAuthorship W2122332266A5090623468 @default.
- W2122332266 hasConcept C110251889 @default.
- W2122332266 hasConcept C111498074 @default.
- W2122332266 hasConcept C128838566 @default.
- W2122332266 hasConcept C198008173 @default.
- W2122332266 hasConcept C199360897 @default.
- W2122332266 hasConcept C25016198 @default.
- W2122332266 hasConcept C41008148 @default.
- W2122332266 hasConcept C4777664 @default.
- W2122332266 hasConcept C80444323 @default.
- W2122332266 hasConcept C81721847 @default.
- W2122332266 hasConceptScore W2122332266C110251889 @default.
- W2122332266 hasConceptScore W2122332266C111498074 @default.
- W2122332266 hasConceptScore W2122332266C128838566 @default.
- W2122332266 hasConceptScore W2122332266C198008173 @default.
- W2122332266 hasConceptScore W2122332266C199360897 @default.
- W2122332266 hasConceptScore W2122332266C25016198 @default.
- W2122332266 hasConceptScore W2122332266C41008148 @default.
- W2122332266 hasConceptScore W2122332266C4777664 @default.
- W2122332266 hasConceptScore W2122332266C80444323 @default.
- W2122332266 hasConceptScore W2122332266C81721847 @default.
- W2122332266 hasLocation W21223322661 @default.
- W2122332266 hasOpenAccess W2122332266 @default.
- W2122332266 hasPrimaryLocation W21223322661 @default.
- W2122332266 hasRelatedWork W120135115 @default.
- W2122332266 hasRelatedWork W1490589931 @default.
- W2122332266 hasRelatedWork W1517959189 @default.
- W2122332266 hasRelatedWork W1571681815 @default.
- W2122332266 hasRelatedWork W1592285529 @default.
- W2122332266 hasRelatedWork W1633598750 @default.
- W2122332266 hasRelatedWork W1656829835 @default.
- W2122332266 hasRelatedWork W1869917128 @default.
- W2122332266 hasRelatedWork W2001162920 @default.
- W2122332266 hasRelatedWork W2060944709 @default.
- W2122332266 hasRelatedWork W2074500093 @default.
- W2122332266 hasRelatedWork W2091946694 @default.
- W2122332266 hasRelatedWork W2099184371 @default.
- W2122332266 hasRelatedWork W2115457987 @default.
- W2122332266 hasRelatedWork W2158062674 @default.
- W2122332266 hasRelatedWork W2164319355 @default.
- W2122332266 hasRelatedWork W2183622971 @default.
- W2122332266 hasRelatedWork W2359857319 @default.
- W2122332266 hasRelatedWork W622304541 @default.
- W2122332266 hasRelatedWork W2133149947 @default.
- W2122332266 isParatext "false" @default.
- W2122332266 isRetracted "false" @default.
- W2122332266 magId "2122332266" @default.
- W2122332266 workType "article" @default.