威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

Hugo/RT

Hugo/RT is a UML model translator for model checking and code generation: A UML model containing active classes with state machines, collaborations, interactions, and OCL constraints can be translated into the system languages of the real-time model checker UPPAAL, the on-the-fly model checker SPIN, and into Java and C++ code, in particular for the Arduino.

?

For feedback, criticism and suggestions, please send an e-mail to Alexander Knapp.

?

Project repository: https://bitbucket.org/knappale/hugo-rt/

?

?

Search