Specifying message passing and time-critical systems with temporal logic /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Eindhoven :
Technická univerzita,
1989
|
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Transputers and parallel architectures. Message-passing distributed systems /
von: Carlini, Ugo de
Veröffentlicht: (1991)
von: Carlini, Ugo de
Veröffentlicht: (1991)
Temporal logic of programs /
von: Kröger, Fred
Veröffentlicht: (1987)
von: Kröger, Fred
Veröffentlicht: (1987)
COMBINING LINEAR TIME TEMPORAL LOGIC DESCRIPTIONS OF CONCURRENT COMPUTATIONS /
von: Kuiper, Ruurd
Veröffentlicht: (1989)
von: Kuiper, Ruurd
Veröffentlicht: (1989)
The temporal logic of reactive and concurrent systems. Specification /
von: Manna, Zohar
Veröffentlicht: (1992)
von: Manna, Zohar
Veröffentlicht: (1992)
Verifying concurrent processes using temporal logic /
von: Hailpern, Brent T.
Veröffentlicht: (1982)
von: Hailpern, Brent T.
Veröffentlicht: (1982)
Specifying buildings. A design management perspective /
von: Emmitt, Stephen
Veröffentlicht: (2001)
von: Emmitt, Stephen
Veröffentlicht: (2001)
Temporal Bone Cancer
Veröffentlicht: (2018)
Veröffentlicht: (2018)
An Africana Philosophy of Temporality Homo Liminalis /
von: Sawyer, Michael E.
Veröffentlicht: (2018)
von: Sawyer, Michael E.
Veröffentlicht: (2018)
Messages from PISA 2000 /
Veröffentlicht: (2004)
Veröffentlicht: (2004)
Goodwill in passing off : a common law perspective /
von: Ng, Catherine W.
Veröffentlicht: (2021)
von: Ng, Catherine W.
Veröffentlicht: (2021)
TEMPORAL DISORDER IN HUMAN OSCILLATORY SYSTEMS : Proceedings, Univ. Bremen, 1986 /
von: Rensing, Ludger
Veröffentlicht: (1987)
von: Rensing, Ludger
Veröffentlicht: (1987)
Temporal order : Proceedings of a symp. on oscillations in heterogeneous chemical and biological systems, Bremen, Sept. 17 - 22, 1984 /
von: Rensing, Ludger
Veröffentlicht: (1985)
von: Rensing, Ludger
Veröffentlicht: (1985)
GILT. INTERCONNECTION OF COMPUTER BASED MESSAGE AND CONFERENCE SYSTEMS.
Veröffentlicht: (1983)
Veröffentlicht: (1983)
MMS. An electronic message management system for emergency response /
von: Andersen, Henning Boje, et al.
Veröffentlicht: (1996)
von: Andersen, Henning Boje, et al.
Veröffentlicht: (1996)
Migration, Temporality, and Capitalism Entangled Mobilities across Global Spaces /
Veröffentlicht: (2018)
Veröffentlicht: (2018)
Sapiens - Easily Passes Every Test
Veröffentlicht: (2014)
Veröffentlicht: (2014)
Critically Mediterranean Temporalities, Aesthetics, and Deployments of a Sea in Crisis /
Veröffentlicht: (2018)
Veröffentlicht: (2018)
Systém totálneho riadenia prístupu osôb PassPoint - zabezpečenie objektov.
Veröffentlicht: (2003)
Veröffentlicht: (2003)
Microprocessors and logic design /
von: Krutz, Ronald L.
Veröffentlicht: (1980)
von: Krutz, Ronald L.
Veröffentlicht: (1980)
Hidden Messages in Culture-Centered Counseling A Triad Training Model
Veröffentlicht: (2013)
Veröffentlicht: (2013)
LOGICAL SENSOR SYSTEMS /
von: Shilcrat, Esther Dina
Veröffentlicht: (1984)
von: Shilcrat, Esther Dina
Veröffentlicht: (1984)
Logic, information and conversation /
von: Piwek, Paul Leo Antoine
Veröffentlicht: (1998)
von: Piwek, Paul Leo Antoine
Veröffentlicht: (1998)
Mobile messaging technologies and services. SMS, EMS and MMS /
von: Le Bodic, Gwenael
Veröffentlicht: (2003)
von: Le Bodic, Gwenael
Veröffentlicht: (2003)
Computer-based message services : Proceedings of the IFIP WG 6.5 working conf., Nottingham, England, 1 - 4 May, 1984 /
von: Deutsch, Debra P.
Veröffentlicht: (1984)
von: Deutsch, Debra P.
Veröffentlicht: (1984)
Logical design of digital systems /
von: Friedman, Arthur D.
Veröffentlicht: (1975)
von: Friedman, Arthur D.
Veröffentlicht: (1975)
The logical design of operating systems /
von: Shaw, Alan C.
Veröffentlicht: (1974)
von: Shaw, Alan C.
Veröffentlicht: (1974)
Logic circuits and microcomputer systems /
von: Wiatrowski, Claude A., et al.
Veröffentlicht: (1980)
von: Wiatrowski, Claude A., et al.
Veröffentlicht: (1980)
Temporal coherence properties of picosecond pulses from semiconductor lasers /
von: Andersson, Per
Veröffentlicht: (1985)
von: Andersson, Per
Veröffentlicht: (1985)
FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
von: Snyers, Dominique
Veröffentlicht: (1987)
von: Snyers, Dominique
Veröffentlicht: (1987)
L'art de construire en Slovaquie. Passé, présent, avenir /
von: Vodrážka, Peter
Veröffentlicht: (1999)
von: Vodrážka, Peter
Veröffentlicht: (1999)
A time-based analysis of road user behaviour in normal and critical encounters /
von: Horst, Adrianus Rigardus Antonius van der
Veröffentlicht: (1990)
von: Horst, Adrianus Rigardus Antonius van der
Veröffentlicht: (1990)
Can EU hear me? How to get the EU ́s message out
Veröffentlicht: (2004)
Veröffentlicht: (2004)
Introduction to the logical design of switching systems /
von: Torng, H. C.
Veröffentlicht: (1964)
von: Torng, H. C.
Veröffentlicht: (1964)
Cohesion, Coherence and Temporal Reference from an Experimental Corpus Pragmatics Perspective
von: Grisot, Cristina
Veröffentlicht: (2018)
von: Grisot, Cristina
Veröffentlicht: (2018)
Logical Form Between Logic and Natural Language /
von: Iacona, Andrea
Veröffentlicht: (2018)
von: Iacona, Andrea
Veröffentlicht: (2018)
THE LOGIC OF INDUCTION /
von: Mortimer, Halina
Veröffentlicht: (1988)
von: Mortimer, Halina
Veröffentlicht: (1988)