Matches in SemOpenAlex for { <https://semopenalex.org/work/W2691619907> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2691619907 endingPage "196" @default.
- W2691619907 startingPage "182" @default.
- W2691619907 abstract "In this paper we propose an extension of TTCN (Tree and Tabular Combined Notation) to real-time TTCN. The extension is defined on a syntactical, and semantical level. Syntactically, we provide facilities to annotate TTCN statements with two time values, namely an earliest execution time (EET) and a latest execution time (LET). The informal interpretation of these time values is that a TTCN statement may be executed if it has been continuously enabled for at least EET units and it must be executed if it has been continuously enabled for LETunits. The operational semantics of real-time TTCN is defined by means of timed transition systems. In timed transition systems an execution of a system is modelled by a timed state sequence which counts for time (progress of time) and state (execution of TTCN statements) activities. We define a mapping of real-time TTCN to timed transition systems and give examples in order to show the applicability of our approach." @default.
- W2691619907 created "2017-06-30" @default.
- W2691619907 creator A5007925107 @default.
- W2691619907 creator A5078674128 @default.
- W2691619907 date "1997-01-01" @default.
- W2691619907 modified "2023-09-24" @default.
- W2691619907 title "A Proposal for a Real-Time Extension of TTCN." @default.
- W2691619907 hasPublicationYear "1997" @default.
- W2691619907 type Work @default.
- W2691619907 sameAs 2691619907 @default.
- W2691619907 citedByCount "0" @default.
- W2691619907 crossrefType "proceedings-article" @default.
- W2691619907 hasAuthorship W2691619907A5007925107 @default.
- W2691619907 hasAuthorship W2691619907A5078674128 @default.
- W2691619907 hasConcept C156325763 @default.
- W2691619907 hasConcept C184337299 @default.
- W2691619907 hasConcept C199360897 @default.
- W2691619907 hasConcept C2778029271 @default.
- W2691619907 hasConcept C2779167558 @default.
- W2691619907 hasConcept C33923547 @default.
- W2691619907 hasConcept C41008148 @default.
- W2691619907 hasConcept C45357846 @default.
- W2691619907 hasConcept C48103436 @default.
- W2691619907 hasConcept C94375191 @default.
- W2691619907 hasConceptScore W2691619907C156325763 @default.
- W2691619907 hasConceptScore W2691619907C184337299 @default.
- W2691619907 hasConceptScore W2691619907C199360897 @default.
- W2691619907 hasConceptScore W2691619907C2778029271 @default.
- W2691619907 hasConceptScore W2691619907C2779167558 @default.
- W2691619907 hasConceptScore W2691619907C33923547 @default.
- W2691619907 hasConceptScore W2691619907C41008148 @default.
- W2691619907 hasConceptScore W2691619907C45357846 @default.
- W2691619907 hasConceptScore W2691619907C48103436 @default.
- W2691619907 hasConceptScore W2691619907C94375191 @default.
- W2691619907 hasLocation W26916199071 @default.
- W2691619907 hasOpenAccess W2691619907 @default.
- W2691619907 hasPrimaryLocation W26916199071 @default.
- W2691619907 hasRelatedWork W120675145 @default.
- W2691619907 hasRelatedWork W1481211786 @default.
- W2691619907 hasRelatedWork W1571487936 @default.
- W2691619907 hasRelatedWork W1588830055 @default.
- W2691619907 hasRelatedWork W1595158423 @default.
- W2691619907 hasRelatedWork W1603300900 @default.
- W2691619907 hasRelatedWork W1606478913 @default.
- W2691619907 hasRelatedWork W1878784542 @default.
- W2691619907 hasRelatedWork W1992657833 @default.
- W2691619907 hasRelatedWork W2020801438 @default.
- W2691619907 hasRelatedWork W2055187133 @default.
- W2691619907 hasRelatedWork W2128071320 @default.
- W2691619907 hasRelatedWork W2154823931 @default.
- W2691619907 hasRelatedWork W2161166453 @default.
- W2691619907 hasRelatedWork W2168927272 @default.
- W2691619907 hasRelatedWork W2361009992 @default.
- W2691619907 hasRelatedWork W2945493357 @default.
- W2691619907 hasRelatedWork W631413208 @default.
- W2691619907 hasRelatedWork W65038767 @default.
- W2691619907 hasRelatedWork W2105401859 @default.
- W2691619907 isParatext "false" @default.
- W2691619907 isRetracted "false" @default.
- W2691619907 magId "2691619907" @default.
- W2691619907 workType "article" @default.