Nothing Special   »   [go: up one dir, main page]

"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