Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572166988> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1572166988 abstract "ISL: An interval logic for the specification of real-time programs.- Duration specifications for shared processors.- A compositional semantics for fault-tolerant real-time systems.- Modelling real-time behavior with an interval time calculus.- Multicycles and RTL logic satisfiability.- Voluntary preemption: A tool in the design of hard real-time systems.- Observing task preemption in Ada 9X.- Real-time scheduling by queue automata.- Broadcast communication for real-time processes.- Analysis of timeliness requirements in safety-critical systems.- Verification of a reliable net protocol.- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization.- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems.- On fault-tolerant symbolic computations.- Temporal logic applied to reliability modelling of fault-tolerant systems.- Specifying asynchronous transfer of control.- Protocol design by layered decomposition.- Scheduling in Real-Time Models.- A temporal approach to requirements specification of real-time systems.- RLucid, a general real-time dataflow language.- A mechanized theory for the verification of real-time program code using higher order logic.- Specification and verification of real-time behaviour using Z and RTL.- TAM: A formal framework for the development of distributed real-time systems.- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language.- The real-time behaviour of asynchronously communicating processes.- Asynchronous communication in real space process algebra.- Translating timed process algebra into prioritized process algebra.- Operational semantics for timed observations.- Real-timed concurrent refineable behaviours.- Stepwise development of model-oriented real-time specifications from action/event models.- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic.- Timed and Hybrid Statecharts and their textual representation." @default.
- W1572166988 created "2016-06-24" @default.
- W1572166988 creator A5002824314 @default.
- W1572166988 creator A5033988144 @default.
- W1572166988 date "1991-12-11" @default.
- W1572166988 modified "2023-09-27" @default.
- W1572166988 title "Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings" @default.
- W1572166988 hasPublicationYear "1991" @default.
- W1572166988 type Work @default.
- W1572166988 sameAs 1572166988 @default.
- W1572166988 citedByCount "1" @default.
- W1572166988 crossrefType "book" @default.
- W1572166988 hasAuthorship W1572166988A5002824314 @default.
- W1572166988 hasAuthorship W1572166988A5033988144 @default.
- W1572166988 hasConcept C110251889 @default.
- W1572166988 hasConcept C120314980 @default.
- W1572166988 hasConcept C151319957 @default.
- W1572166988 hasConcept C161771561 @default.
- W1572166988 hasConcept C199360897 @default.
- W1572166988 hasConcept C25016198 @default.
- W1572166988 hasConcept C31258907 @default.
- W1572166988 hasConcept C41008148 @default.
- W1572166988 hasConcept C75606506 @default.
- W1572166988 hasConceptScore W1572166988C110251889 @default.
- W1572166988 hasConceptScore W1572166988C120314980 @default.
- W1572166988 hasConceptScore W1572166988C151319957 @default.
- W1572166988 hasConceptScore W1572166988C161771561 @default.
- W1572166988 hasConceptScore W1572166988C199360897 @default.
- W1572166988 hasConceptScore W1572166988C25016198 @default.
- W1572166988 hasConceptScore W1572166988C31258907 @default.
- W1572166988 hasConceptScore W1572166988C41008148 @default.
- W1572166988 hasConceptScore W1572166988C75606506 @default.
- W1572166988 hasLocation W15721669881 @default.
- W1572166988 hasOpenAccess W1572166988 @default.
- W1572166988 hasPrimaryLocation W15721669881 @default.
- W1572166988 hasRelatedWork W1494712994 @default.
- W1572166988 hasRelatedWork W1510471799 @default.
- W1572166988 hasRelatedWork W1515005904 @default.
- W1572166988 hasRelatedWork W1568436601 @default.
- W1572166988 hasRelatedWork W1587506755 @default.
- W1572166988 hasRelatedWork W1589237509 @default.
- W1572166988 hasRelatedWork W1607700480 @default.
- W1572166988 hasRelatedWork W1979754763 @default.
- W1572166988 hasRelatedWork W2060070465 @default.
- W1572166988 hasRelatedWork W2105182891 @default.
- W1572166988 hasRelatedWork W2113466639 @default.
- W1572166988 hasRelatedWork W2119645170 @default.
- W1572166988 hasRelatedWork W2121341646 @default.
- W1572166988 hasRelatedWork W2144807261 @default.
- W1572166988 hasRelatedWork W2163228844 @default.
- W1572166988 hasRelatedWork W2166941925 @default.
- W1572166988 hasRelatedWork W2542950057 @default.
- W1572166988 hasRelatedWork W3021377875 @default.
- W1572166988 hasRelatedWork W3152377411 @default.
- W1572166988 hasRelatedWork W2152160528 @default.
- W1572166988 isParatext "false" @default.
- W1572166988 isRetracted "false" @default.
- W1572166988 magId "1572166988" @default.
- W1572166988 workType "book" @default.