Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben

Formal Aspects of Computing

Ausgabe 1/2011

Inhalt (8 Artikel)

Editorial

Editorial

Egon Börger

Original Article

Generating tests from B specifications and dynamic selection criteria

Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué

Original Article

A data-flow approach to test multi-agent ASMs

Alessandra Cavarra

Z2SAL: a translation-based model checker for Z

John Derrick, Siobhán North, Anthony J. H. Simons

Original Article

Using Event-B to construct instruction set architectures

Stephen Wright, Kerstin Eder

Original Article

Proving linearizability with temporal logic

Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif

Original Article

Retrenchment for Event-B: UseCase-wise development and Rodin integration

Richard Banach

Original Article

On the purpose of Event-B proof obligations

Stefan Hallerstede

Nov 10
Ausgabe: 6/2010
Mär 11
Ausgabe: 2/2011

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise