2. NFM 2010:
Washington, DC, USA César Muñoz (Ed.):
Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings.
NASA Conference Proceedings NASA/CP-2010-216215 2010
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andreas Bollin :
Slice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z.
24-33
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Petra Price ,
Greg Turgeon :
Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking.
129-138
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
