Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 4/2019

Inhalt (5 Artikel)

Regular Paper

Parallel reachability analysis of hybrid systems in XSpeed

Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu

Regular Paper

Complementary test selection criteria for model-based testing of security components

Julien Botella, Jean-François Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle

Regular Paper

Comparing approaches for model-checking strategies under imperfect information and fairness constraints

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Regular Paper

ASAP: A Source Code Authorship Program

Matthew F. Tennyson

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr