Matches in SemOpenAlex for { <https://semopenalex.org/work/W1873579732> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1873579732 abstract "The Temporal Interval Logic with Compositional Operators (TILCO) has been especially designed for the specification and validation of real-time systems. TILCO extends the classical temporal logics based on the operators eventually, and henceforth by using time intervals in order to allow the specification of both qualitative and quantitative temporal relationships. The use of time intervals also supports an abstract and synthetic style for specifying real-time systems. The validation of TILCO specifications is supported by means of property proving; direct execution of specifications and model-checking of system histories are also possible. Therefore, the TILCO model can be considered as a dual approach. This paper describes TILCO and shows with an example its application for the specification and validation of real-time systems. Highlights about the TILCO axiomatization are given and the tools available for proving properties of specifications and for specifications execution are discussed." @default.
- W1873579732 created "2016-06-24" @default.
- W1873579732 creator A5046326881 @default.
- W1873579732 creator A5075359388 @default.
- W1873579732 date "2002-12-24" @default.
- W1873579732 modified "2023-09-25" @default.
- W1873579732 title "Using TILCO for specifying real-time systems" @default.
- W1873579732 cites W102293300 @default.
- W1873579732 cites W136418928 @default.
- W1873579732 cites W1586932402 @default.
- W1873579732 cites W1978654873 @default.
- W1873579732 cites W1990681310 @default.
- W1873579732 cites W2023808162 @default.
- W1873579732 cites W2026629052 @default.
- W1873579732 cites W2043873003 @default.
- W1873579732 cites W2056068391 @default.
- W1873579732 cites W2056359803 @default.
- W1873579732 cites W2059503346 @default.
- W1873579732 cites W2066381570 @default.
- W1873579732 cites W2072078345 @default.
- W1873579732 cites W2092656858 @default.
- W1873579732 cites W2103976539 @default.
- W1873579732 cites W2113316597 @default.
- W1873579732 cites W2140028191 @default.
- W1873579732 cites W2141716250 @default.
- W1873579732 cites W2157974687 @default.
- W1873579732 cites W2161484642 @default.
- W1873579732 cites W2170015205 @default.
- W1873579732 cites W95860231 @default.
- W1873579732 doi "https://doi.org/10.1109/iceccs.1996.558324" @default.
- W1873579732 hasPublicationYear "2002" @default.
- W1873579732 type Work @default.
- W1873579732 sameAs 1873579732 @default.
- W1873579732 citedByCount "3" @default.
- W1873579732 crossrefType "proceedings-article" @default.
- W1873579732 hasAuthorship W1873579732A5046326881 @default.
- W1873579732 hasAuthorship W1873579732A5075359388 @default.
- W1873579732 hasConcept C110251889 @default.
- W1873579732 hasConcept C111472728 @default.
- W1873579732 hasConcept C111498074 @default.
- W1873579732 hasConcept C115903868 @default.
- W1873579732 hasConcept C116253237 @default.
- W1873579732 hasConcept C138885662 @default.
- W1873579732 hasConcept C149635348 @default.
- W1873579732 hasConcept C162670838 @default.
- W1873579732 hasConcept C189950617 @default.
- W1873579732 hasConcept C199360897 @default.
- W1873579732 hasConcept C201677973 @default.
- W1873579732 hasConcept C25016198 @default.
- W1873579732 hasConcept C28472234 @default.
- W1873579732 hasConcept C41008148 @default.
- W1873579732 hasConcept C4777664 @default.
- W1873579732 hasConcept C84651959 @default.
- W1873579732 hasConceptScore W1873579732C110251889 @default.
- W1873579732 hasConceptScore W1873579732C111472728 @default.
- W1873579732 hasConceptScore W1873579732C111498074 @default.
- W1873579732 hasConceptScore W1873579732C115903868 @default.
- W1873579732 hasConceptScore W1873579732C116253237 @default.
- W1873579732 hasConceptScore W1873579732C138885662 @default.
- W1873579732 hasConceptScore W1873579732C149635348 @default.
- W1873579732 hasConceptScore W1873579732C162670838 @default.
- W1873579732 hasConceptScore W1873579732C189950617 @default.
- W1873579732 hasConceptScore W1873579732C199360897 @default.
- W1873579732 hasConceptScore W1873579732C201677973 @default.
- W1873579732 hasConceptScore W1873579732C25016198 @default.
- W1873579732 hasConceptScore W1873579732C28472234 @default.
- W1873579732 hasConceptScore W1873579732C41008148 @default.
- W1873579732 hasConceptScore W1873579732C4777664 @default.
- W1873579732 hasConceptScore W1873579732C84651959 @default.
- W1873579732 hasLocation W18735797321 @default.
- W1873579732 hasOpenAccess W1873579732 @default.
- W1873579732 hasPrimaryLocation W18735797321 @default.
- W1873579732 hasRelatedWork W1499117612 @default.
- W1873579732 hasRelatedWork W1542921761 @default.
- W1873579732 hasRelatedWork W1615716068 @default.
- W1873579732 hasRelatedWork W1922808635 @default.
- W1873579732 hasRelatedWork W1990092944 @default.
- W1873579732 hasRelatedWork W2099374974 @default.
- W1873579732 hasRelatedWork W2121055005 @default.
- W1873579732 hasRelatedWork W2122505115 @default.
- W1873579732 hasRelatedWork W2130415189 @default.
- W1873579732 hasRelatedWork W2141716250 @default.
- W1873579732 hasRelatedWork W2146118702 @default.
- W1873579732 hasRelatedWork W2156795913 @default.
- W1873579732 hasRelatedWork W2168791893 @default.
- W1873579732 hasRelatedWork W2317674639 @default.
- W1873579732 hasRelatedWork W2352091395 @default.
- W1873579732 hasRelatedWork W2695579202 @default.
- W1873579732 hasRelatedWork W2725986035 @default.
- W1873579732 hasRelatedWork W2808441478 @default.
- W1873579732 hasRelatedWork W2975657856 @default.
- W1873579732 hasRelatedWork W34682815 @default.
- W1873579732 isParatext "false" @default.
- W1873579732 isRetracted "false" @default.
- W1873579732 magId "1873579732" @default.
- W1873579732 workType "article" @default.