Vor Ort
Merkzettel Warenkorb
  • Produktbild: Transformation-Based Reactive Systems Development
  • Produktbild: Transformation-Based Reactive Systems Development
Band 1231

Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.05.1997

Abbildungen

XI, 429 p.

Herausgeber

Miquel Bertran + weitere

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63010-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.05.1997

Abbildungen

XI, 429 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63010-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Transformation-Based Reactive Systems Development
  • Produktbild: Transformation-Based Reactive Systems Development
  • What was Llull up to?.- Llull as computer scientist or why Llull was one of us.- Deductive verification of real-time systems using STeP.- Refinement of Time.- The verus language: Representing time efficiently with BDDs.- Refining interval temporal logic specifications.- Integrating temporal logics and model checking algorithms.- PLC-automata: A new class of implementable real-time automata.- Communication concepts for statecharts: A semantic foundation.- Regular processes and timed automata.- A visual formalism for real time requirement specifications.- Formal specification and verification method of concurrent and distributed systems by restricted timed automata.- Transformational formal development of real-time systems.- A transformation of monitor into communication synchronized parallel processes: A systematic refinement step in design.- Contracts for ODP.- Affine transformations in Signal and their application in the specification and validation of real-time systems.- Action-based concurrency and synchronization for objects.- Communication Extended Abstract Types in the refinement of parallel communicating processes.- Verification and refinement of distributed programs in a fair framework.- Formalizing real-time scheduling as program refinement.- Specification and refinement of continuous real-time systems.- High-level execution time analysis.- A sound and complete proof system for probabilistic processes.- Testing semantics for a probabilistic-timed process algebra.- Denotational semantics for timed testing.- Extending LOTOS with time: A true concurrency perspective.- of a suspend/resume operator in ET-LOTOS.- Specification and verification of a real-time field bus with formal description languages.