首页期刊浏览 2025年04月28日星期一

登录注册

全文

有全文链接

4篇

出版年度

	2020	1篇
	2018	1篇
	2017	2篇

作者

	Knut Åkesson	4篇
	Martin Fabian	3篇
	Johan Eddeland	2篇
	Koen Claessen	2篇
	Zahra Ramezani	2篇

	Hugo Flordal	1篇
	Javier Gil Cepeda	1篇
	Johan Lidén Eddeland	1篇
	Nicholas Smallbone	1篇
	Rick Fransen	1篇
	Robi Malik	1篇
	Sajed Miremadi	1篇

文章类型

Research Article

4篇

来源期刊

IFAC PapersOnLine

4篇

语种

英文

4篇

检索条件:"( ( 高级检索(( ((AU:(("Knut Åkesson")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

作　　者：Koen Claessen ;Nicholas Smallbone ;Johan Eddeland 等

出　　处：IFAC PapersOnLine. 2018 ;51(7):408-415.doi:10.1016/j.ifacol.2018.06.333

出版社：Elsevier

文章 ID：1020218693

文章详细
2.Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

作　　者：Robi Malik ;Knut Åkesson ;Hugo Flordal 等

出　　处：IFAC PapersOnLine. 2017 ;50(1):5794-5799.doi:10.1016/j.ifacol.2017.08.427

出版社：Elsevier

文章 ID：1010444649

文章详细
3.Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata * * This work has been performed with support from the Swedish Governmental Agency for Innovation Systems (VINNOVA) under project TESTRON 2015-04893

作　　者：Johan Eddeland ;Javier Gil Cepeda ;Rick Fransen 等

出　　处：IFAC PapersOnLine. 2017 ;50(1):9260-9265.doi:10.1016/j.ifacol.2017.08.1296

出版社：Elsevier

文章 ID：1010445517

文章详细
4.Multiple Objective Functions for Falsification of Cyber-Physical Systems

作　　者：Zahra Ramezani ;Johan Lidén Eddeland ;Koen Claessen 等

出　　处：IFAC PapersOnLine. 2020 ;53(4):417-422.doi:10.1016/j.ifacol.2021.04.040

出版社：Elsevier

文章 ID：1032015508

文章详细

1

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有