Dependability Arguments with Trusted Bases

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.38 ◽

2010 ◽

Author(s):

Eunsuk Kang ◽

Daniel Jackson

Download Full-text