首页期刊浏览 2024年11月07日星期四

登录注册

全文

有全文链接

2篇

出版年度

	2018	1篇
	2017	1篇

作者

	Johan Eddeland	2篇
	Knut Åkesson	2篇
	Javier Gil Cepeda	1篇
	Koen Claessen	1篇
	Martin Fabian	1篇

	Nicholas Smallbone	1篇
	Rick Fransen	1篇
	Sajed Miremadi	1篇
	Zahra Ramezani	1篇

文章类型

Research Article

2篇

来源期刊

IFAC PapersOnLine

2篇

语种

英文

2篇

检索条件:"( ( 高级检索(( ((AU:(("Johan Eddeland")))) )) ) )"

共 2 条记录

排序：全选导出：

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.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

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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