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 5/2011

VSTTE 2009

Inhalt (6 Artikel)

Introduction

Deductive software verification

Jean-Christophe Filliâtre

VSTTE 2009-2010

Functional dependencies of C functions via weakest pre-conditions

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto

VSTTE 2009-2010

SMT solvers: new oracles for the HOL theorem prover

Tjark Weber

VSTTE 2009-2010

Scenario-based testing from UML/OCL behavioral models

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

VSTTE 2009-2010

An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

VSTTE 2009-2010

Formal methods for security in the Xenon hypervisor

Leo Freitas, John McDermott

Aug 11
Ausgabe: 4/2011
Nov 11
Ausgabe: 6/2011
VMCAI 2009

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr