Title of article
Experience with mural in formalising Dust-Expert
Author/Authors
S. Vadera، نويسنده , , F. Meziane، نويسنده , , M. -L. L. Huang، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2001
Pages
10
From page
231
To page
240
Keywords
Mural , VDM , formal methods , safety , TOOLS
Journal title
Information and Software Technology
Serial Year
2001
Journal title
Information and Software Technology
Record number
134779
Link To Document