首页
文献服务
文献资源
外文期刊
外文会议
中文期刊
专业机构
智能制造
高级检索
版权声明
使用帮助
会议文集
文集名
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
会议名
18th International Conference on Software Engineering and Formal Methods (SEFM 2020) Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS
中译名
《第十八届国际软件工程与形式化方法会议 - 讨论会》
会议日期
September 14-15, 2020
会议地点
Amsterdam, The Netherlands
出版年
2021
馆藏号
338427
题名
作者
出版年
Model Translation from Papyrus-RT into the nuXmv Model Checker
Sneha Sahu; Ruth Schorr; Inmaculada Medina-Bulo; Matthias Wagner
2021
Modeling and Verification of Temporal Constraints for Web Service Composition
Maya Souilah Benabdelhafid; Houda Boubaker; Mahmoud Boufaida
2021
Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains
Karim Lounis; Samir Ouchani
2021
Automated Validation of State-Based Client-Centric Isolation with TLA+
Tim Soethout; Tijs van der Storm; Jurgen J. Vinju
2021
Code Coverage Aware Test Generation Using Constraint Solver
Krystof Sykora; Bestoun S. Ahmed; Miroslav Bures
2021
From Requirements to Verifiable Executable Models Using Rebeca
Marjan Sirjani; Luciana Provenzano; Sara Abbaspour Asadollah; Mahshid Helali Moghadam
2021
A Pragmatic Model of Justification for Social Epistemology
Raffaela Giovagnoli
2021
Personal Identity and False Memories
Danil Razeev
2021
Against the Illusory Will Hypothesis A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment
Robert Reimer
2021
Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study
Torben Brauner; Aishwarya Ghosh; Sujata Ghosh
2021
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence
Yoshihiro Maruyama
2021
An Interdisciplinary Model for Graphical Representation
G. Antonio Pierro; Alexandre Bergel; Roberto Tonelli; Stephane Ducasse
2021
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation
Antonio Cerone; Diana Murzagaliyeva
2021
A Multi-Agent Depth Bounded Boolean Logic
Giorgio Cignarale; Giuseppe Primiero
2021
The Intensional Structure of Epistemic Convictions
Reinhard Kahle
2021
Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence
Samuel Allen Alexander
2021
Reasoning About Ignorance and Beliefs
Alessandro Aldini; Pierluigi Graziani; Mirko Tagliaferri
2021
A Case Study on Formally Validating Motion Rules for Autonomous Cars
Mario Henrique Cruz Torres; Jean-Pierre Giacalone; Joelle Abou Faysal
2021
Modelling Train Driver Behaviour in Railway Co-simulations
Tomas Hotzel Escardo; Ken Pierce; David Golightly; Roberto Palacin
2021
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri; Sergio Saponara; Tanguy Sassolas; Arief Wicaksana; Lilia Zaourar
2021
1
2
©2016机械工业出版社(机械工业信息研究院) 京ICP备05055788号-35