Modelchecking tutorial (pdf)
pdf version.
The link address is: http://www.kermeta.org/docs/fr.irisa.triskell.kermeta.documentation/build/pdf.fop/ModelCheckingManual/ModelCheckingManual.pdf
|
Modelchecking tutorial (pdf)pdf version.
The link address is: http://www.kermeta.org/docs/fr.irisa.triskell.kermeta.documentation/build/pdf.fop/ModelCheckingManual/ModelCheckingManual.pdf |