开发技术下载,其它下载列表第487页

[其它] 安全关键系统自动测试的高阶协作和实时形式模型

说明：对安全关键系统（SCS）的需求既重要又紧迫，其评估和验证取决于测试。 SCS通常很复杂且非常大，因此在实践中无法进行SCS的手动测试，因此开发用于SCS的自动测试方法已成为重要的趋势。鉴于SCS测试中高阶协作，实时性和临时性的特点，基于域理论，本文定义了一种用于SCS自动测试的形式语义模型，称为AutTMSCS ，它描述了SCS测试中的行为。测试任务，测试设备和被测试产品分三层进行抽象和架构，并给出了一种自动测试方法。基于扩展标签转换系统（LTS），证明了该模型的收敛性和正确性，证明了该模型的可
<weixin_38665411> 上传 | 大小：896kb

[其它] money-manager2-源码

说明：Create React App入门该项目是通过引导的。可用脚本在项目目录中，可以运行： npm start 在开发模式下运行应用程序。打开在浏览器中查看它。如果您进行编辑，则页面将重新加载。您还将在控制台中看到任何棉绒错误。 npm test 在交互式监视模式下启动测试运行器。有关更多信息，请参见关于的部分。 npm run build 构建生产到应用程序build文件夹。它在生产模式下正确捆绑了React，并优化了构建以获得最佳性能。生成被最小化，并且文件名包括哈希值。您的应用已准
<weixin_42134769> 上传 | 大小：599kb

[其它] dodgeball-analysis:笔记本和Dodgeball的临时数据分析-源码

说明：躲避球分析笔记本和Dodgeball的临时数据分析
<weixin_42151729> 上传 | 大小：555kb

[其它] 誉强变频器YQ3000-G系列使用说明书

说明：誉强变频器YQ3000-G系列使用说明书.rar 介绍了关于誉强变频器YQ3000-G系列使用说明书的详细说明，提供变频器的技术资料的下载。
<weixin_38663197> 上传 | 大小：696kb

[其它] finger-paint-wgpu:得到屏幕的东西-源码

说明：finger-paint-wgpu:得到屏幕的东西
<weixin_42117082> 上传 | 大小：47mb

[其它] wood-mood-源码

说明：该项目是通过引导的。可用脚本在项目目录中，可以运行： yarn start 在开发模式下运行应用程序。打开在浏览器中查看它。如果您进行编辑，则页面将重新加载。您还将在控制台中看到任何棉绒错误。 yarn test 在交互式监视模式下启动测试运行器。有关更多信息，请参见关于的部分。 yarn build 构建生产到应用程序build文件夹。它在生产模式下正确捆绑了React，并优化了构建以获得最佳性能。生成被最小化，并且文件名包括哈希值。您的应用已准备好进行部署！有关更多信息，请参见关于
<weixin_42117340> 上传 | 大小：427kb

[其它] 企业代理记账网站模板

说明：企业代理记账网站模板是一款大气整洁的记账公司网站模板下载。提示：本模板调用到谷歌字体库，可能会出现页面打开比较缓慢。
<weixin_38731145> 上传 | 大小：1mb

[其它] Orion-Gallery:画廊艺术的门户网站-源码

说明：猎户座画廊猎户座画廊网构建设置 # install dependencies $ npm run install # serve with hot reload at localhost:3000 $ npm run dev # build for production and launch server $ npm run build $ npm run start # generate static project $ npm run generate 有关工作原理的详细说明，请查看。
<weixin_42174176> 上传 | 大小：675kb