-1

我正在尝试使用 VDM-SL Toolbox，但找不到任何教程。如果有人有任何教程，请分享。谢谢

4

1 回答 1

0

这里有一些信息：http: //fmvdm.org/doc/index.html

但我建议您也考虑使用 Overture 工具。这有更好的社区支持。你可以在这里找到它：http: //overturetool.org/，教程在这里： http: //overturetool.org/documentation/tutorials.html

于 2017-06-24T15:28:23.873 回答