Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 20

Runtime verification : 20th International Conference RV 2020 Los Angeles CA USA October 6-9 20

出版社：Cham, Switzerland : Springer, 2020.

ISBN：9783030605070

出版年：2020

作者：RV 2020

资源类型：图书

细分类型：中文文献,西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 20

作者：RV 2023
ISBN：9783031442667
出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
出版年：2023

Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 20

作者：RV 2017
ISBN：9783319675305
出版社：Cham, Switzerland : Springer, 2017.
出版年：2017

Runtime verification : second international conference, RV 2011, San Francisco, CA, USA, September 2

作者：RV 2011
ISBN：9783642298592
出版社：Berlin : Springer, c2012.
出版年：2012

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21

作者：CAV 2020
ISBN：9783030532901
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21

作者：CAV 2020
ISBN：9783030532871
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019,

作者：RV 2019
ISBN：9783030320782
出版社：Cham, Switzerland : Springer, 2019.
出版年：2019