- 博客(21)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 Springboot记录
/指定,该对象代表,也就是说,这个div中的所有内容,都被当前的app对象管理。点击执行，显示“BUILD SUCCESS”即表示成功。只涉及到前后端交互，没有用到数据库。//创建一个Vue对象。//定义vue中的数据。
2024-04-28 10:19:54
806
2
原创 下载安装JDK及配置
JDK的安装与配置下载安装配置环境变量测试下载官网：JDK官网https://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html安装总体讲还是比较简单的，傻瓜式安装，一直next即可。不过，倒是建议修改一下默认的安装位置（默认会在C盘，影响电脑速度，而且毕竟修改一下这样好找）。（1）...
2019-07-23 21:07:44
132
uppaal-4.1.19.zip
内容包含Uppaal工具，及简单教程，注意必须提前安装好Java1.8及以上环境，运行uppaal.jar，即可运行Uppaal。时间自动机是一套对实时系统进行建模和验证的理论。这一理论是Alur和Dill的杰出工作成果。很多验证工具（例如Uppaal）就是基于时间自动机理论制作的。
2019-11-13
信息物理融合系统（CPS）设计、建模与仿真 基于Ptolemy Ⅱ平台.zip
中文版ptolemy建模使用手册，信息物理融合系统（CPS）设计、建模与仿真 基于Ptolemy Ⅱ平台
2019-10-28
NuSMV-2.6.0-win64.tar.gz
形式化验证工具，NuSMV 2.6.0 is a major release that comes after four years passed working under the surface. The release provides some new features, many bug fixes and optimizations, and substantial differences in the software architecture and building system.
2019-10-28
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人