software architecture model checking reliability behaviroal models state machines bug finding model inference component models static analysis model-based analysis robotics ros program analysis software engineering software development tradeoff quality attributes
Mehr anzeigen