FRINK Linked Data Fragments server

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

• W2401178834 abstract "Finite State Machine (FSM) models are widely used to specify the operations of computer systems. Since the basic FSM model is timeless, it is not possible to model within the basic FSM framework system properties that are dependent on the progression of real time, such as the duration of computations or the limited temporal validity of real-time data. To overcome these limitations, efforts have been made to modify the FSM model to include some notion of time. It is the objective of this paper to expand existing work on basic FSMs and timed automata to include the concept of a sparse global time base as a central element of the model. We call such an extended FSM model a Periodic Finite State Machine (PFSM) model. The PFSM model incorporates the notions of state variables, global time, periodic clock constraints, and time-triggered activities. Thereby, PFSMs enable a concise and intuitive representation of distributed control systems and reduce the gap between a modeled system and its implementation." @default.
• W2401178834 created "2016-06-24" @default.
• W2401178834 creator A5007015294 @default.
• W2401178834 creator A5037888060 @default.
• W2401178834 creator A5047359091 @default.
• W2401178834 creator A5076712033 @default.
• W2401178834 date "2007-01-01" @default.
• W2401178834 modified "2023-09-23" @default.
• W2401178834 title "Modeling and verification of distributed real-time systems using periodic finite state machines." @default.
• W2401178834 cites W1517793941 @default.
• W2401178834 cites W1524820228 @default.
• W2401178834 cites W1551781434 @default.
• W2401178834 cites W1563826489 @default.
• W2401178834 cites W1604910842 @default.
• W2401178834 cites W1826754619 @default.
• W2401178834 cites W1995969393 @default.
• W2401178834 cites W2024481357 @default.
• W2401178834 cites W2088678566 @default.
• W2401178834 cites W2096908543 @default.
• W2401178834 cites W2101395364 @default.
• W2401178834 cites W2101508170 @default.
• W2401178834 cites W2101879503 @default.
• W2401178834 cites W2117033537 @default.
• W2401178834 cites W2119699246 @default.
• W2401178834 cites W2132281467 @default.
• W2401178834 cites W2134263076 @default.
• W2401178834 cites W2160883697 @default.
• W2401178834 cites W2161528798 @default.
• W2401178834 cites W2167731137 @default.
• W2401178834 cites W2171608978 @default.
• W2401178834 cites W3144368627 @default.
• W2401178834 cites W612493522 @default.
• W2401178834 cites W1582044627 @default.
• W2401178834 hasPublicationYear "2007" @default.
• W2401178834 type Work @default.
• W2401178834 sameAs 2401178834 @default.
• W2401178834 citedByCount "1" @default.
• W2401178834 crossrefType "journal-article" @default.
• W2401178834 hasAuthorship W2401178834A5007015294 @default.
• W2401178834 hasAuthorship W2401178834A5037888060 @default.
• W2401178834 hasAuthorship W2401178834A5047359091 @default.
• W2401178834 hasAuthorship W2401178834A5076712033 @default.
• W2401178834 hasConcept C112505250 @default.
• W2401178834 hasConcept C112758219 @default.
• W2401178834 hasConcept C11413529 @default.
• W2401178834 hasConcept C120314980 @default.
• W2401178834 hasConcept C124952713 @default.
• W2401178834 hasConcept C134306372 @default.
• W2401178834 hasConcept C142362112 @default.
• W2401178834 hasConcept C167822520 @default.
• W2401178834 hasConcept C17744445 @default.
• W2401178834 hasConcept C181062253 @default.
• W2401178834 hasConcept C199539241 @default.
• W2401178834 hasConcept C2776359362 @default.
• W2401178834 hasConcept C33923547 @default.
• W2401178834 hasConcept C41008148 @default.
• W2401178834 hasConcept C42058472 @default.
• W2401178834 hasConcept C45374587 @default.
• W2401178834 hasConcept C48103436 @default.
• W2401178834 hasConcept C80444323 @default.
• W2401178834 hasConcept C94625758 @default.
• W2401178834 hasConceptScore W2401178834C112505250 @default.
• W2401178834 hasConceptScore W2401178834C112758219 @default.
• W2401178834 hasConceptScore W2401178834C11413529 @default.
• W2401178834 hasConceptScore W2401178834C120314980 @default.
• W2401178834 hasConceptScore W2401178834C124952713 @default.
• W2401178834 hasConceptScore W2401178834C134306372 @default.
• W2401178834 hasConceptScore W2401178834C142362112 @default.
• W2401178834 hasConceptScore W2401178834C167822520 @default.
• W2401178834 hasConceptScore W2401178834C17744445 @default.
• W2401178834 hasConceptScore W2401178834C181062253 @default.
• W2401178834 hasConceptScore W2401178834C199539241 @default.
• W2401178834 hasConceptScore W2401178834C2776359362 @default.
• W2401178834 hasConceptScore W2401178834C33923547 @default.
• W2401178834 hasConceptScore W2401178834C41008148 @default.
• W2401178834 hasConceptScore W2401178834C42058472 @default.
• W2401178834 hasConceptScore W2401178834C45374587 @default.
• W2401178834 hasConceptScore W2401178834C48103436 @default.
• W2401178834 hasConceptScore W2401178834C80444323 @default.
• W2401178834 hasConceptScore W2401178834C94625758 @default.
• W2401178834 hasLocation W24011788341 @default.
• W2401178834 hasOpenAccess W2401178834 @default.
• W2401178834 hasPrimaryLocation W24011788341 @default.
• W2401178834 hasRelatedWork W1493829506 @default.
• W2401178834 hasRelatedWork W160316085 @default.
• W2401178834 hasRelatedWork W183810113 @default.
• W2401178834 hasRelatedWork W1925636530 @default.
• W2401178834 hasRelatedWork W1998079648 @default.
• W2401178834 hasRelatedWork W2073841996 @default.
• W2401178834 hasRelatedWork W2139052682 @default.
• W2401178834 hasRelatedWork W2158942146 @default.
• W2401178834 hasRelatedWork W2188869759 @default.
• W2401178834 hasRelatedWork W2416235366 @default.
• W2401178834 hasRelatedWork W2572792128 @default.
• W2401178834 hasRelatedWork W2578577156 @default.
• W2401178834 hasRelatedWork W2783909249 @default.
• W2401178834 hasRelatedWork W2901680979 @default.
• W2401178834 hasRelatedWork W2949071741 @default.
• W2401178834 hasRelatedWork W2963764477 @default.
• W2401178834 hasRelatedWork W324729440 @default.

• next