首页> 外文OA文献 >Under consideration for publication in Formal Aspects of Computing The formal design of distributed controllers with dSL and Spin

【2h】

Under consideration for publication in Formal Aspects of Computing The formal design of distributed controllers with dSL and Spin

机译：正在考虑在计算的形式方面发布正式设计的分布式控制器与dsL和旋转

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bram De Wachter; Re Genon; Thierry Massart; Cédric Meuter; Université Libre De Bruxelles;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The formal design of distributed controllers with dSL and Spin [J] . De Wachter B, Genon A, Massart T, Formal Aspects of Computing . 2005,第2期

机译：带有dSL和Spin的分布式控制器的形式化设计
2. Formal Development of a Washing Machine Controller Model Based on Formal Design Patterns [J] . XIN BEN LI, FENG XIA ZHAO WSEAS Transactions on Systems . 2008,第10a12期

机译：基于形式化设计模式的洗衣机控制器模型的形式化开发
3. On computable formal concepts in computable formal contexts [J] . A. S. Morozov, M. A. L’vova Siberian Mathematical Journal . 2007,第5期

机译：关于可计算形式上下文中的可计算形式概念
4. Formal Development of a Washing Machine Controller By Using Formal Design Patterns [C] . XIN BEN LI, FENG XIA ZHAO WSEAS International Conferences . 2009

机译：使用正式设计模式的洗衣机控制器的正式开发
5. Formal verification for analysis and design of logic controllers for reconfigurable manufacturing systems. [D] . Kalita, Dhrubajyoti. 2001

机译：用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
6. Formal Elements of Art Products Indicate Aspects of Mental Health [O] . Ingrid Pénzes, Susan van Hooren, Ditty Dokter, 2020

机译：艺术产品的正式元素表示心理健康的方面
7. Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14) [O] . Giannakopoulou Dimitra, Salaün Gwen, Butler Michael 2016

机译：软件工程和形式方法期刊的形式方面专刊（SEFM'14）
8. Formal approach to the design of multibunch feedback systems: LQG controllers [R] . Hindi, H. , Fox, J. , Prabhaker, S. , 1994

机译：多跳反馈系统设计的正式方法：LQG控制器

Under consideration for publication in Formal Aspects of Computing The formal design of distributed controllers with dSL and Spin

著录项

引文网络

相似文献

相关主题

期刊订阅