Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 4/2014

TASE 12

Inhalt (7 Artikel)

Introduction

Program verification and testing technologies

Tiziana Margaria, Zongyan Qiu, Hongli Yang

TASE 12

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David

TASE 12

Expressive program verification via structured specifications

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

Tase 12

Automated verification of the FreeRTOS scheduler in Hip/Sleek

João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin

TASE 12

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

TASE 12

Model-based test generation using extended symbolic grammars

Hai-Feng Guo, Mahadevan Subramaniam

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr