Articoli correlati a Real-Time: Theory in Practice: REX Workshop, Mook,...
Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings: 600 - Brossura
Sinossi
In the past decade, the formal theory of specification,verfication and development of real-time programs has grownfrom work of a few specialized groups to a real "bandwagon".Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchas process algebra, temporal logic, and model checking.This volume contains the proceedings of a workshop dedicatedto the theory of real-time with the purpose of stepping backand viewing the results achieved as well as considering thedirections of ongoing research. The volume gives arepresentative picture of what is going on in the fieldworldwide, presented by eminent, active researchers. Thematerial in the volume was prepared by the authors after theworkshop took place and reflects the results of the workshopdiscussions.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
An old-fashioned recipe for real time.- Verifying automata specifications of probabilistic real-time systems.- The theory of timed automata.- Logics and models of real time: A survey.- The state operator in real time process algebra.- Timed process algebras with urgent interactions and a unique powerful binary operator.- Time in state based formal description techniques for distributed systems.- Real-time and the Mu-Calculus (preliminary report).- Implementing reactive programs on circuits a hardware implementation of LUSTRE.- Semantics and completeness of Duration Calculus.- Timed transition systems.- Compositional verification of real-time systems using extended Hoare triples.- Semantics of reactive systems in abstract time.- Problems, promises and performance: some questions for real-time system specification.- Abstraction in real time process algebra.- (Real) time: A philosophical perspective.- Specification and analysis of resource-bound real-time systems.- Forward and backward simulations for timing-based systems.- Prom timed to hybrid systems.- Coping with implementation dependencies in real-time system verification.- Validating real-time systems by executing logic specifications.- An overview and synthesis on timed process algebras.- From ATP to timed graphs and hybrid systems.- Verification of safety critical systems using TTM/RTTL.- Predicative specification of timed processes.- Putting time into proof outlines.- Timed CSP: Theory and practice.- A specification of the cat and mouse problem.- Layering and action refinement for timed systems.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Real-Time: Theory in Practice: REX Workshop, Mook,...
Foto dell'editore
Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings (Lecture Notes in Computer Science, 600)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540555643_new
Compra nuovo
EUR 116,63
Spedizione EUR 14,00
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Real-Time: Theory in Practice
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the past decade, the formal theory of specification,verfication and development of real-time programs has grownfrom work of a few specialized groups to a real bandwagon .Many eminent research groups have shifted their interests inthis direction. Codice articolo 4893648
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 736 | Sprache: Englisch | Produktart: Bücher | In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions. Codice articolo 700998/203
Compra usato
EUR 52,22
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 736 | Sprache: Englisch | Produktart: Bücher | In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions. Codice articolo 700998/202
Compra usato
EUR 53,79
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Real-Time: Theory in Practice
Editore:
Springer Berlin Heidelberg Jun 1992, 1992
ISBN 10: 3540555641
ISBN 13: 9783540555643
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the past decade, the formal theory of specification,verfication and development of real-time programs has grown from work of a few specialized groups to a real 'bandwagon'. Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions. 736 pp. Englisch. Codice articolo 9783540555643
Compra nuovo
EUR 139,09
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Real-Time: Theory in Practice | REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Real-Time: Theory in Practice | REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings | J. W. De Bakker (u. a.) | Taschenbuch | viii | Englisch | 1992 | Springer | EAN 9783540555643 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 102134382
Compra nuovo
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Real-Time: Theory in Practice
Editore:
Springer, Springer Jun 1992, 1992
ISBN 10: 3540555641
ISBN 13: 9783540555643
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the past decade, the formal theory of specification,verfication and development of real-time programs has grown from work of a few specialized groups to a real 'bandwagon'. Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 736 pp. Englisch. Codice articolo 9783540555643
Compra nuovo
EUR 106,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the past decade, the formal theory of specificationverfication and development of real-time programs has grownfrom work of a few specialized groups to a real 'bandwagon'.Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchas process algebra, temporal logic, and model checking.This volume contains the proceedings of a workshop dedicatedto the theory of real-time with the purpose of stepping backand viewing the results achieved as well as considering thedirections of ongoing research. The volume gives arepresentative picture of what is going on in the fieldworldwide, presented by eminent, active researchers. Thematerial in the volume was prepared by the authors after theworkshop took place and reflects the results of the workshopdiscussions. Codice articolo 9783540555643
Compra nuovo
EUR 106,99
Spedizione EUR 65,48
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time: Theory in Practice
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: gut. 1992. Real-Time: Theory in Practice In deutscher Sprache. pages. Codice articolo BN194878
Compra usato
EUR 189,00
Spedizione EUR 39,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings (Lecture Notes in Computer Science (600))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA77535405556416
Compra usato
EUR 232,34
Spedizione EUR 29,22
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili