"Toward Model Based Testing: Combining AADLS with High Level Petri Nets."

Hassan Reza, Feifei Gu, Bahram Shafai (2010)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2010-12-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics