57

Internal consistency of FRSM specifications

Year:
1995
Language:
english
File:
PDF, 1005 KB
english, 1995
61

An automated approach to specification animation for validation

Year:
2007
Language:
english
File:
PDF, 633 KB
english, 2007
63

Generating test data from SOFL specifications

Year:
1999
Language:
english
File:
PDF, 276 KB
english, 1999
67

Complex Dynamics of an Impulsive Control System in

Year:
2009
Language:
english
File:
PDF, 698 KB
english, 2009
76

Theory study of shapes in187,189Tl nuclei

Year:
2009
Language:
english
File:
PDF, 812 KB
english, 2009
77

The study of energy bands in nucleus102Zr

Year:
2010
Language:
english
File:
PDF, 638 KB
english, 2010
79

Formal engineering methods for software quality assurance

Year:
2012
Language:
english
File:
PDF, 184 KB
english, 2012
87

An abstract programming language and correctness proofs

Year:
1993
Language:
english
File:
PDF, 554 KB
english, 1993
89

A Rigorous Method for Inspection of Model-Based Formal Specifications

Year:
2010
Language:
english
File:
PDF, 564 KB
english, 2010