记录链接：
http://hdl.handle.net/20.500.12708/81323
https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_11
-
标题：
k-入职培训的分层认证
英语
引文：
Yu，E.、Froleyks，N.、Biere，A.和Heljanko，K.（2022）。k-入职培训的分层认证。在A.Griggio和N.Rungta（编辑）中，第22届计算机辅助设计形式方法会议记录–FMCAD 2022（第59-64页）。TU Wien学术出版社。https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_11
-
存放DOI：
10.34727/2022/isbn.978-3-85448-053-2_11
-
CatalogPlus：
AC17205066型
-
出版物类型：
诉讼中-全纸稿件
英语
语言：
英语
-
作者：
于，艾米丽 
弗罗莱克斯，尼尔斯 
阿米恩·比尔 
凯乔·赫尔扬科 
-
编辑：
阿尔贝托·格里乔
内哈·隆塔
-
组织单位：
E192-04：系统工程中的Forschungsbereich形式化方法
-
系列：
会议系列：计算机辅助设计中的形式方法
-
发布时间：
第22届计算机辅助设计形式方法会议记录–FMCAD 2022
-
发布日期：
2022年10月
-
页数：
6
-
发布者：
TU Wien学术出版社，Wien
-
同行评审：
是的
-
关键词：
formale方法
判定元件
 
formale方法
英语
reposiTUm:中的链接记录包含部分：
10.34727/2022/isbn.978-3-85448-053-2
-
许可证：
抄送4.0抄送4.0
英语
出现在集合中：
会议文献
开放存取系列

缩略图
全文（记录版本（已发布版本））
Adobe PDF格式
（514.87千字节）
开放式访问 抄送4.0
显示完整项目记录

谷歌学者TM（TM）

检查