Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS''99,

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop ARTS''99

出版社：New York : Springer, 1999.

ISBN：3540660100

出版年：1999

作者：Katoen,Joost-Pieter

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Formal techniques in real-time and fault-tolerant systems: 5th International Symposium, FTRTFT ''98,

作者：Ravn,Anders P.
ISBN：3540650032
出版社：Berlin ; New York : Springer, c1998.
出版年：1998

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Sy

作者：International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
ISBN：3540630104
出版社：Berlin ; New York : Springer, c1997.
出版年：1997

Formal methods for the design of real-time systems : international school on formal methods for the

作者：International School on Formal Methods for the Design of Computer,Communication,and Software Syste
ISBN：3540230688
出版社：Berlin ; New York : Springer, 2004.
出版年：2004

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sw

作者：Jonsson,Bengt,
ISBN：3540616489
出版社：Berlin ; New York : Springer, c1996.
出版年：1996

Proceedings of PART ''98 : the 5th Australasian Conference on Parallel and Real-Time Systems, Univ. o

作者：Australasian Conference on Parallel and Real-Time Systems
ISBN：9814021229
出版社：Singapore : Springer, c1998.
出版年：1998

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002

作者：FTRTFT 2002
ISBN：3540441654
出版社：Berlin ; New York : Springer, 2002.,Berlin ; New York : Springer, c2002.
出版年：2002