Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168904619> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2168904619 abstract "A framework for the specification of parallel and distributed real time systems is presented by using the formal specification language Z. To this end, a general approach to safety and fairness conditions and timer concepts are developed in Z. As a case study the framework is applied to the well known generalized railroad crossing problem, where a complete specification and a proof of the required safety and liveness properties are included." @default.
- W2168904619 created "2016-06-24" @default.
- W2168904619 creator A5023315749 @default.
- W2168904619 creator A5069119211 @default.
- W2168904619 date "2002-12-24" @default.
- W2168904619 modified "2023-10-16" @default.
- W2168904619 title "Specifying parallel and distributed real-time systems in Z" @default.
- W2168904619 cites W1550186809 @default.
- W2168904619 cites W1594306001 @default.
- W2168904619 cites W1596400039 @default.
- W2168904619 cites W1597492513 @default.
- W2168904619 cites W2015688007 @default.
- W2168904619 cites W2076513239 @default.
- W2168904619 cites W2123524508 @default.
- W2168904619 cites W2125617568 @default.
- W2168904619 cites W2145864615 @default.
- W2168904619 cites W2296232480 @default.
- W2168904619 cites W2325245547 @default.
- W2168904619 doi "https://doi.org/10.1109/wpdrts.1996.557684" @default.
- W2168904619 hasPublicationYear "2002" @default.
- W2168904619 type Work @default.
- W2168904619 sameAs 2168904619 @default.
- W2168904619 citedByCount "3" @default.
- W2168904619 countsByYear W21689046192018 @default.
- W2168904619 crossrefType "proceedings-article" @default.
- W2168904619 hasAuthorship W2168904619A5023315749 @default.
- W2168904619 hasAuthorship W2168904619A5069119211 @default.
- W2168904619 hasConcept C110251889 @default.
- W2168904619 hasConcept C116253237 @default.
- W2168904619 hasConcept C120314980 @default.
- W2168904619 hasConcept C149635348 @default.
- W2168904619 hasConcept C15569618 @default.
- W2168904619 hasConcept C173018170 @default.
- W2168904619 hasConcept C199360897 @default.
- W2168904619 hasConcept C201677973 @default.
- W2168904619 hasConcept C25016198 @default.
- W2168904619 hasConcept C2776633867 @default.
- W2168904619 hasConcept C41008148 @default.
- W2168904619 hasConcept C75606506 @default.
- W2168904619 hasConcept C79403827 @default.
- W2168904619 hasConcept C90069079 @default.
- W2168904619 hasConceptScore W2168904619C110251889 @default.
- W2168904619 hasConceptScore W2168904619C116253237 @default.
- W2168904619 hasConceptScore W2168904619C120314980 @default.
- W2168904619 hasConceptScore W2168904619C149635348 @default.
- W2168904619 hasConceptScore W2168904619C15569618 @default.
- W2168904619 hasConceptScore W2168904619C173018170 @default.
- W2168904619 hasConceptScore W2168904619C199360897 @default.
- W2168904619 hasConceptScore W2168904619C201677973 @default.
- W2168904619 hasConceptScore W2168904619C25016198 @default.
- W2168904619 hasConceptScore W2168904619C2776633867 @default.
- W2168904619 hasConceptScore W2168904619C41008148 @default.
- W2168904619 hasConceptScore W2168904619C75606506 @default.
- W2168904619 hasConceptScore W2168904619C79403827 @default.
- W2168904619 hasConceptScore W2168904619C90069079 @default.
- W2168904619 hasLocation W21689046191 @default.
- W2168904619 hasOpenAccess W2168904619 @default.
- W2168904619 hasPrimaryLocation W21689046191 @default.
- W2168904619 hasRelatedWork W1481169866 @default.
- W2168904619 hasRelatedWork W1502301190 @default.
- W2168904619 hasRelatedWork W1538316268 @default.
- W2168904619 hasRelatedWork W1538729346 @default.
- W2168904619 hasRelatedWork W1546631539 @default.
- W2168904619 hasRelatedWork W206874040 @default.
- W2168904619 hasRelatedWork W2100139843 @default.
- W2168904619 hasRelatedWork W2137277749 @default.
- W2168904619 hasRelatedWork W2189517211 @default.
- W2168904619 hasRelatedWork W2397032708 @default.
- W2168904619 hasRelatedWork W2562670940 @default.
- W2168904619 hasRelatedWork W2795735404 @default.
- W2168904619 hasRelatedWork W2811507509 @default.
- W2168904619 hasRelatedWork W2889708634 @default.
- W2168904619 hasRelatedWork W2899469726 @default.
- W2168904619 hasRelatedWork W2902571568 @default.
- W2168904619 hasRelatedWork W2911583164 @default.
- W2168904619 hasRelatedWork W2962927158 @default.
- W2168904619 hasRelatedWork W2963820460 @default.
- W2168904619 hasRelatedWork W3213518371 @default.
- W2168904619 isParatext "false" @default.
- W2168904619 isRetracted "false" @default.
- W2168904619 magId "2168904619" @default.
- W2168904619 workType "article" @default.