Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134772206> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2134772206 abstract "In this paper we study the formal modelling and verification of a network player system using Duration Calculus, a real time interval temporal logic. The system is modelled by the conjunction of a number of Duration Calculus formulae each capturing a basic property of the system. That the system satisfies the requirement is expressed by the entailment of the requirement formula from the system formula. We use an automated tool DCValid for verification. DCValid is a model checking tool and it cannot verify our system in the general form, and therefore a special instance is derived from the general model and subsequently checked using DCValid." @default.
- W2134772206 created "2016-06-24" @default.
- W2134772206 creator A5017835877 @default.
- W2134772206 creator A5036807368 @default.
- W2134772206 creator A5054452935 @default.
- W2134772206 date "2002-11-08" @default.
- W2134772206 modified "2023-09-25" @default.
- W2134772206 title "Modelling and verification of a network player system with DCValid" @default.
- W2134772206 cites W1992552504 @default.
- W2134772206 cites W2000916035 @default.
- W2134772206 cites W2038569232 @default.
- W2134772206 cites W2087107052 @default.
- W2134772206 cites W2167467151 @default.
- W2134772206 doi "https://doi.org/10.1109/apaq.2000.883777" @default.
- W2134772206 hasPublicationYear "2002" @default.
- W2134772206 type Work @default.
- W2134772206 sameAs 2134772206 @default.
- W2134772206 citedByCount "4" @default.
- W2134772206 crossrefType "proceedings-article" @default.
- W2134772206 hasAuthorship W2134772206A5017835877 @default.
- W2134772206 hasAuthorship W2134772206A5036807368 @default.
- W2134772206 hasAuthorship W2134772206A5054452935 @default.
- W2134772206 hasConcept C110251889 @default.
- W2134772206 hasConcept C111472728 @default.
- W2134772206 hasConcept C111498074 @default.
- W2134772206 hasConcept C112758219 @default.
- W2134772206 hasConcept C11413529 @default.
- W2134772206 hasConcept C121332964 @default.
- W2134772206 hasConcept C124952713 @default.
- W2134772206 hasConcept C1276947 @default.
- W2134772206 hasConcept C138885662 @default.
- W2134772206 hasConcept C142362112 @default.
- W2134772206 hasConcept C162670838 @default.
- W2134772206 hasConcept C189950617 @default.
- W2134772206 hasConcept C198008173 @default.
- W2134772206 hasConcept C199343813 @default.
- W2134772206 hasConcept C199360897 @default.
- W2134772206 hasConcept C25016198 @default.
- W2134772206 hasConcept C2777686260 @default.
- W2134772206 hasConcept C41008148 @default.
- W2134772206 hasConcept C4777664 @default.
- W2134772206 hasConcept C59656382 @default.
- W2134772206 hasConcept C71924100 @default.
- W2134772206 hasConcept C80444323 @default.
- W2134772206 hasConceptScore W2134772206C110251889 @default.
- W2134772206 hasConceptScore W2134772206C111472728 @default.
- W2134772206 hasConceptScore W2134772206C111498074 @default.
- W2134772206 hasConceptScore W2134772206C112758219 @default.
- W2134772206 hasConceptScore W2134772206C11413529 @default.
- W2134772206 hasConceptScore W2134772206C121332964 @default.
- W2134772206 hasConceptScore W2134772206C124952713 @default.
- W2134772206 hasConceptScore W2134772206C1276947 @default.
- W2134772206 hasConceptScore W2134772206C138885662 @default.
- W2134772206 hasConceptScore W2134772206C142362112 @default.
- W2134772206 hasConceptScore W2134772206C162670838 @default.
- W2134772206 hasConceptScore W2134772206C189950617 @default.
- W2134772206 hasConceptScore W2134772206C198008173 @default.
- W2134772206 hasConceptScore W2134772206C199343813 @default.
- W2134772206 hasConceptScore W2134772206C199360897 @default.
- W2134772206 hasConceptScore W2134772206C25016198 @default.
- W2134772206 hasConceptScore W2134772206C2777686260 @default.
- W2134772206 hasConceptScore W2134772206C41008148 @default.
- W2134772206 hasConceptScore W2134772206C4777664 @default.
- W2134772206 hasConceptScore W2134772206C59656382 @default.
- W2134772206 hasConceptScore W2134772206C71924100 @default.
- W2134772206 hasConceptScore W2134772206C80444323 @default.
- W2134772206 hasLocation W21347722061 @default.
- W2134772206 hasOpenAccess W2134772206 @default.
- W2134772206 hasPrimaryLocation W21347722061 @default.
- W2134772206 hasRelatedWork W1480105416 @default.
- W2134772206 hasRelatedWork W1499715382 @default.
- W2134772206 hasRelatedWork W1505677092 @default.
- W2134772206 hasRelatedWork W1516288898 @default.
- W2134772206 hasRelatedWork W1541174442 @default.
- W2134772206 hasRelatedWork W1541745753 @default.
- W2134772206 hasRelatedWork W1561444936 @default.
- W2134772206 hasRelatedWork W1582868218 @default.
- W2134772206 hasRelatedWork W1584581609 @default.
- W2134772206 hasRelatedWork W161666304 @default.
- W2134772206 hasRelatedWork W1863652788 @default.
- W2134772206 hasRelatedWork W1991633005 @default.
- W2134772206 hasRelatedWork W1995172395 @default.
- W2134772206 hasRelatedWork W2060944709 @default.
- W2134772206 hasRelatedWork W2126058650 @default.
- W2134772206 hasRelatedWork W2138362538 @default.
- W2134772206 hasRelatedWork W2154016114 @default.
- W2134772206 hasRelatedWork W2359857319 @default.
- W2134772206 hasRelatedWork W255025080 @default.
- W2134772206 hasRelatedWork W622304541 @default.
- W2134772206 isParatext "false" @default.
- W2134772206 isRetracted "false" @default.
- W2134772206 magId "2134772206" @default.
- W2134772206 workType "article" @default.