Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

Temporal Logic for Real-Time Systems [comp sci]

Main
Temporal Logic for Real-Time Systems...

Temporal Logic for Real-Time Systems [comp sci]

J. Ostroff

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Έτος:

1989

Εκδότης:

Wiley

Γλώσσα:

english

Σελίδες:

224

ISBN 10:

0471924024

ISBN 13:

9780471924029

Αρχείο:

PDF, 11.94 MB

IPFS:

,

english, 1989

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

Piotr Dembiński, Marek Średniawa (eds.) — Protocol Specification, Testing and Verification XV: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995

Rachida Dssouli, Gregor v. Bochmann and Yair Lahav (Eds.) — SDL '99. The Next Millennium

K.R. Parker and G.A. Rose (Eds.) — Formal Description Techniques, IV. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19–22 November 1991

Nicolas Navet, Stephan Merz — Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Ostroff J.S. — Temporal logic for real-time systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis in Distributed Systems

Richard Lai, Ajin Jirachiefpattana (auth.) — Communication Protocol Specification and Verification

Javier Campos, Carla Seatzu, Xiaolan Xie — Formal Methods in Manufacturing

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis for Distributed Systems

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (eds.) — Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Bran Selic (auth.), Heinrich Hussmann (eds.) — Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.) — Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti] — LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.) — Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.) — Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.) — Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.) — Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Robert K. Brayton (auth.), Costas Courcoubetis (eds.) — Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, Jan Vytopil (eds.) — Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.) — Hybrid Systems II

Gul A. Agha (auth.), Jonathan Billington, Wolfgang Reisig (eds.) — Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings

Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.) — Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

Amir Pnueli (auth.), Oded Maler (eds.) — Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

F. Erich Marschner (auth.), Orna Grumberg (eds.) — Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Randal E. Bryant (auth.), Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Unknown — Concur 99 Concurrency Theory 10 1664 1999 3540664254 584s

Sebastian Preuße — Technologies for Engineering Manufacturing Systems Control in Closed Loop

Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.) — Advances in Temporal Logic

Aurel Cornell, Aurel Cornell; Dan Ionescu — Real-Time Systems: Modeling, Design, and Applications

Φράσεις κλειδιά