FRINK Linked Data Fragments server

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

• W2109726629 abstract "The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm for the analysis of the robustness of timed automata has been implemented. In this paper we re-analyse an industrial case lip synchronization protocol using the new robust reachability algorithm.This lip synchronization protocol is an interesting case because timing aspect are crucial for the correctness of the protocol. Several versions of the model are considered, with an ideal video stream, with anchored jitter, and with non-anchored jitter." @default.
• W2109726629 created "2016-06-24" @default.
• W2109726629 creator A5014945719 @default.
• W2109726629 creator A5040663266 @default.
• W2109726629 creator A5056988637 @default.
• W2109726629 date "2009-11-03" @default.
• W2109726629 modified "2023-09-24" @default.
• W2109726629 title "Re-verification of a Lip Synchronization Algorithm using robust reachability" @default.
• W2109726629 cites W1482233117 @default.
• W2109726629 cites W1484364085 @default.
• W2109726629 cites W1489013357 @default.
• W2109726629 cites W1503973138 @default.
• W2109726629 cites W1537691540 @default.
• W2109726629 cites W1555190167 @default.
• W2109726629 cites W1599105192 @default.
• W2109726629 cites W1878074184 @default.
• W2109726629 cites W1995691455 @default.
• W2109726629 cites W2025782239 @default.
• W2109726629 cites W2081702911 @default.
• W2109726629 cites W2087107052 @default.
• W2109726629 cites W2101508170 @default.
• W2109726629 cites W2120338947 @default.
• W2109726629 cites W2130773092 @default.
• W2109726629 cites W2132676597 @default.
• W2109726629 cites W2152095066 @default.
• W2109726629 cites W3023485956 @default.
• W2109726629 hasPublicationYear "2009" @default.
• W2109726629 type Work @default.
• W2109726629 sameAs 2109726629 @default.
• W2109726629 citedByCount "0" @default.
• W2109726629 crossrefType "proceedings-article" @default.
• W2109726629 hasAuthorship W2109726629A5014945719 @default.
• W2109726629 hasAuthorship W2109726629A5040663266 @default.
• W2109726629 hasAuthorship W2109726629A5056988637 @default.
• W2109726629 hasConcept C104317684 @default.
• W2109726629 hasConcept C110251889 @default.
• W2109726629 hasConcept C112505250 @default.
• W2109726629 hasConcept C11413529 @default.
• W2109726629 hasConcept C120314980 @default.
• W2109726629 hasConcept C127162648 @default.
• W2109726629 hasConcept C134652429 @default.
• W2109726629 hasConcept C136643341 @default.
• W2109726629 hasConcept C142362112 @default.
• W2109726629 hasConcept C153349607 @default.
• W2109726629 hasConcept C15569618 @default.
• W2109726629 hasConcept C185592680 @default.
• W2109726629 hasConcept C2778562939 @default.
• W2109726629 hasConcept C30788636 @default.
• W2109726629 hasConcept C31258907 @default.
• W2109726629 hasConcept C41008148 @default.
• W2109726629 hasConcept C55439883 @default.
• W2109726629 hasConcept C55493867 @default.
• W2109726629 hasConcept C558565934 @default.
• W2109726629 hasConcept C63479239 @default.
• W2109726629 hasConcept C73301696 @default.
• W2109726629 hasConcept C76155785 @default.
• W2109726629 hasConcept C79403827 @default.
• W2109726629 hasConcept C80444323 @default.
• W2109726629 hasConceptScore W2109726629C104317684 @default.
• W2109726629 hasConceptScore W2109726629C110251889 @default.
• W2109726629 hasConceptScore W2109726629C112505250 @default.
• W2109726629 hasConceptScore W2109726629C11413529 @default.
• W2109726629 hasConceptScore W2109726629C120314980 @default.
• W2109726629 hasConceptScore W2109726629C127162648 @default.
• W2109726629 hasConceptScore W2109726629C134652429 @default.
• W2109726629 hasConceptScore W2109726629C136643341 @default.
• W2109726629 hasConceptScore W2109726629C142362112 @default.
• W2109726629 hasConceptScore W2109726629C153349607 @default.
• W2109726629 hasConceptScore W2109726629C15569618 @default.
• W2109726629 hasConceptScore W2109726629C185592680 @default.
• W2109726629 hasConceptScore W2109726629C2778562939 @default.
• W2109726629 hasConceptScore W2109726629C30788636 @default.
• W2109726629 hasConceptScore W2109726629C31258907 @default.
• W2109726629 hasConceptScore W2109726629C41008148 @default.
• W2109726629 hasConceptScore W2109726629C55439883 @default.
• W2109726629 hasConceptScore W2109726629C55493867 @default.
• W2109726629 hasConceptScore W2109726629C558565934 @default.
• W2109726629 hasConceptScore W2109726629C63479239 @default.
• W2109726629 hasConceptScore W2109726629C73301696 @default.
• W2109726629 hasConceptScore W2109726629C76155785 @default.
• W2109726629 hasConceptScore W2109726629C79403827 @default.
• W2109726629 hasConceptScore W2109726629C80444323 @default.
• W2109726629 hasLocation W21097266291 @default.
• W2109726629 hasOpenAccess W2109726629 @default.
• W2109726629 hasPrimaryLocation W21097266291 @default.
• W2109726629 hasRelatedWork W1529780373 @default.
• W2109726629 hasRelatedWork W1561807072 @default.
• W2109726629 hasRelatedWork W1601091540 @default.
• W2109726629 hasRelatedWork W1640994929 @default.
• W2109726629 hasRelatedWork W1643848536 @default.
• W2109726629 hasRelatedWork W1903000972 @default.
• W2109726629 hasRelatedWork W1993536683 @default.
• W2109726629 hasRelatedWork W2028827800 @default.
• W2109726629 hasRelatedWork W2043609341 @default.
• W2109726629 hasRelatedWork W2082762653 @default.
• W2109726629 hasRelatedWork W2124563781 @default.
• W2109726629 hasRelatedWork W2153789164 @default.
• W2109726629 hasRelatedWork W2158931957 @default.
• W2109726629 hasRelatedWork W2163212148 @default.
• W2109726629 hasRelatedWork W2172175633 @default.

• next