Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

Bowman H.; Derrick J.

首页> 外文期刊>IEEE Transactions on Software Engineering >Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

【24h】

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

机译：第二届IFIP国际会议上有关基于开放对象的分布式系统的形式化方法的论文选集，1997年

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

著录项

来源
《IEEE Transactions on Software Engineering》 |2000年第7期|P.577-578|共2页
作者
Bowman H.; Derrick J.;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词

相似文献

外文文献
中文文献
专利

1. Special Issue on Selected Papers from the 9th IFIP International Conference on Artificial Intelligence Applications & Innovations (AIAI 2013) [J] . Papadopoulos Harris, Andreou Andreas S. International Journal of Artificial Intelligence Tools: Architectures, Languages, Algorithms . 2015,第6期

机译：第9届IFIP国际人工智能应用与创新会议（AIAI 2013）精选论文特刊
2. Special issue: Selected papers from the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA 2011) [J] . Patricia Lago, Rich Hilliard The Journal of Systems and Software . 2012,第9期

机译：特刊：第9届IEEE / IFIP软件架构工作会议（WICSA 2011）中的部分论文
3. Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11) [J] . Gwen Salauen, Bernhard Schaetz Science of Computer Programming . 2014,第ptaA期

机译：前言：有关工业关键系统形式方法的特殊部分（选自FMICS'11的论文）
4. Distributed Platforms - Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond: DCE, CORBA, ODP and Advanced Distributed Applications [C] . . 1996

机译：分布式平台-IFIP / IEEE国际分布式平台会议论文集：客户端/服务器及以后：DCE，CORBA，ODP和高级分布式应用程序
5. A formal methodology for the specification of distributed systems from an object perspective [D] . Lee, Sangbum. 1992

机译：从对象的角度规范分布式系统的一种正式方法
6. Selected Papers from the 4th International Conference on Bioinspired Systems and Cognitive Signal Processing [O] . Fabio Babiloni, Andrzej Cichocki, Saeid Sanei, 2011

机译：第四届国际生物启发系统与认知信号处理国际会议论文选集
7. Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997 [O] . Bowman, Howard, Derrick, John, Brinksma, Hendrik 2000

机译：第二届IFIP国际会议上有关基于开放对象的分布式系统的形式化方法的论文选集，1997年
8. Turning Administrative Systems into Information Systems, Statistics of Income.211 Selected Papers Given in 1996 and 1997 at the Annual Meetings of the American 211 Statistical Association and One Non-ASA Article [R] . Dalton, J., Kilss, B. 1998

机译：将行政系统转变为信息系统，收入统计.111在1996年和1997年美国211统计协会年会上发表的论文和一篇非asa文章

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

著录项

引文网络

相似文献

相关主题

期刊订阅