Back to Results
First PageMeta Content
Systems engineering / Formal methods / Software requirements / Quality / Safety engineering / Dependability / Reliability engineering / Problem frames approach / Software development methodology / Software development / Software / Science


A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti
Add to Reading List

Document Date: 2012-02-19 15:58:07


Open Document

File Size: 484,83 KB

Share Result on Facebook
UPDATE