Leveraging applications of formal methods, verification and validation : engineering principles : 9t

Leveraging applications of formal methods verification and validation : engineering principles : 9t

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

ISBN：9783030614690

出版年：2020

作者：ISoLA 2020

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Leveraging applications of formal methods, verification and validation : verification principles : 9

作者：ISoLA 2020
ISBN：9783030613617
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

Leveraging applications of formal methods, verification and validation : verification principles : 1

作者：ISoLA 2022
ISBN：9783031198489
出版社：Cham : Springer, 2022.
出版年：2022

Leveraging applications of formal methods, verification and validation : rigorous engineering of col

作者：ISoLA 2024
ISBN：9783031751066
出版社：Cham : Springer, 2025.,Cham, Switzerland : Springer, 2025.
出版年：2025

Leveraging applications of formal methods, verification and validation : tools and trends : 9th Inte

作者：ISoLA 2020
ISBN：9783030837228
出版社：Cham : Springer, 2021.
出版年：2021

Leveraging applications of formal methods, verification and validation : applications : 9th Internat

作者：ISoLA 2020
ISBN：9783030614669
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

Leveraging applications of formal methods, verification and validation : REoCAS Colloquium in Honor

作者：ISoLA 2024
ISBN：9783031737084
出版社：Cham : Springer, 2025.
出版年：2025