Zimmermann / Thalheim | Abstract State Machines 2004. Advances in Theory and Practice | E-Book | sack.de
E-Book

E-Book, Englisch, Band 3052, 240 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Zimmermann / Thalheim Abstract State Machines 2004. Advances in Theory and Practice

11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Erscheinungsjahr 2004
ISBN: 978-3-540-24773-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

E-Book, Englisch, Band 3052, 240 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-24773-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Zimmermann / Thalheim Abstract State Machines 2004. Advances in Theory and Practice jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Zimmermann, Wolf
Thalheim, Bernhard

Weitere Infos & Material

Invited Papers.- Intra-step Interaction.- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.- An ALGOL-View on Turbo ASM.- An ASM Specification of C# Threads and the .NET Memory Model.- Finite Cursor Machines in Database Query Processing.- Research Papers.- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.- Specification and Validation of the Business Process Execution Language for Web Services.- Monodic ASMs and Temporal Verification.- Towards an Interchange Language for ASMs.- Specification and Implementation Problems for C#.- An ASM Semantics for SSA Intermediate Representations.- Observations on the Decidability of Transitions.- A Security Logic for Abstract State Machines.- Slicing Abstract State Machines.- The Cryptographic Abstract Machine.- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.