当前位置: 首页 > 资源下载 > 软件工程 > 查看资源

资源分类
Web开发
Java
.NET
编程语言
数据库
软件工程
图形动画
系统管理
网络通信安全
计算机理论
考试认证
人文百科
文档手册
硬件技术
办公软件

Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)

Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)

书名:Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)

上传:鱼和流氓

时间:2009-01-26

文件大小:3.66 MB

资源出处:查看资源出处 >>

收藏到网摘: n/a



Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)


Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
(PDF英文版)
by Franck Cassez, Claude Jard
Hardcover: 295 pages
Publisher: Springer (October 1, 2008)
ISBN-10: 354085777X
ISBN-13: 978-3540857778

The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

详细介绍在此:http://www.springer.com/book/978-3-540-85777-8
Tags:AnalysisFormalFORMATSModelingpdf


相关书籍

  • Service-Oriented Modeling (SOA): Service Analysis, Design, and Architecture
  • Perl Scripting for Windows Security: Live Response, Forensic Analysis, and Monit
  • Credit Risk Modeling using Excel and VBA
  • Credit Risk Modeling using Excel and VBA
  • Credit Risk Modeling using Excel and VBA

评论 (2) 1 All

登陆 | 还没注册?