A System Dependability Modeling Framework Using AADL and GSPNs.

Ana-Elena Rugina Karama Kanoun Mohamed Kaâniche

Published in: WADS (2006)

Keyphrases

modeling framework
test case generation
complex systems
ambient intelligence
topic modeling
test cases
software systems
educational technology
artificial intelligence
prior knowledge
computer systems
software testing