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
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

International Journal on Software Tools for Technology Transfer

Ausgabe 2/2010

Special Section on SPIN 07

Inhalt (6 Artikel)

Introduction

Model checking software: on some new waves and some evergreens

Dragan Bošnački, Stefan Edelkamp

SPIN 07

An embeddable virtual machine for state space generation

Michael Weber

SPIN 07

Distributed dynamic partial order reduction

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby

SPIN 07

LTL satisfiability checking

Kristin Y. Rozier, Moshe Y. Vardi

SPIN 07

Scalable shared memory LTL model checking

J. Barnat, L. Brim, P. Ročkai

SPIN 07

Solving the ignoring problem for partial order reduction

Sami Evangelista, Christophe Pajault

Feb 10
Ausgabe: 1/2010
Jul 10
Ausgabe: 3-4/2010
Special Section on GraBaTs 08

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise