10715 search results - page 20 / 2143 » From Tests to Proofs |
ISDA
2006
IEEE
14 years 1 months ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
SPIN
2001
Springer
14 years 10 days ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
IPPS
1999
IEEE
14 years 5 days ago
1999
IEEE
WADT
1999
Springer
14 years 4 days ago
1999
Springer
