FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings

FM 2015 : formal methods : 20th International Symposium Oslo Norway June 24-26 2015 proceedings

出版社：Cham : Springer, 2015.

ISBN：9783319192482

出版年：2015

作者：International Symposium of Formal Methods Europe

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

2015 20th International Mixed-Signal Testing Workshop (IMSTW 2015) : Paris, France, 24-26 June 2015.

作者：International Mixed-Signal Testing Workshop
ISBN：9781467367332
出版社：Piscataway, N.J. : IEEE Computer Society, c2015.
出版年：2015

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norw

作者：FMICS 2015
ISBN：9783319194578
出版社：Cham : Springer, 2015.
出版年：2015

2015 IEEE International Symposium on Consumer Electronics (ISCE 2015) : Madrid, Spain, 24-26 June 20

作者：IEEE International Symposium on Consumer Electronics
ISBN：9781467373661
出版社：Piscataway, N.J. : IEEE Computer Society, c2015.
出版年：2015

2015 16th International Radar Symposium (IRS 2015) : Dresden, Germany, 24-26 June 2015.

作者：International Radar Symposium
ISBN：9781479978410
出版社：Piscataway, N.J. : IEEE Computer Society, c2015.
出版年：2015

Formal methods : 24th International Symposium, FM 2021, virtual event, November 20-26, 2021, proceed

作者：International Symposium of Formal Methods Europe
ISBN：9783030908690
出版社：Cham, Switzerland : Springer, 2021.
出版年：2021

2015 IEEE 2nd International Conference on Cybernetics (CYBCONF 2015) : Gdynia, Poland, 24-26 June 20

作者：IEEE International Conference on Cybernetics
ISBN：9781479983230
出版社：Piscataway, N.J. : IEEE Computer Society, c2015.
出版年：2015