Temporal Logic for Real-Time Systems [comp sci]

Temporal logic for real-time systems

✍ Ostroff J.S. 📂 Library 📅 1989 🏛 Wiley 🌐 English

Presents a large number of recent research results previously unavailable in book form. Initially deals with the wee-known computation models, and goes on to special types of circuits, parallel computers, and branching programs. Includes basic theory as well recent research findings. Each chapter in

Temporal Logic of Programs [comp sci]

📁 Temporal Logic of Programs [comp sci]

✍ W. Brauer, et al. 📂 Library 📅 1985 🏛 Springer 🌐 English

Specifying Message Passing and Time-Crit

📁 Specifying Message Passing and Time-Critical Systems with Temporal Logic

✍ Ron Koymans (eds.) 📂 Library 📅 1992 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to s

Temporal Logic and State Systems

📁 Temporal Logic and State Systems

✍ Fred Kroger, Stephan Merz 📂 Library 📅 2008 🏛 Springer 🌐 English

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications

Temporal Logic and State Systems

📁 Temporal Logic and State Systems

✍ Fred Kröger; Stephan Merz 📂 Library 📅 2008 🏛 Springer Science & Business Media 🌐 English

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications

Temporal logic in information systems

📁 Temporal logic in information systems

✍ Chomicki J., Toman D. 📂 Library 📅 1997 🏛 BRICS 🌐 English