Proceedings of the 55th Annual Design Automation Conference on - DAC '18
Latest Publications

TOTAL DOCUMENTS

179
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By ACM Press

9781450357005
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dynamic vehicle software with AUTOCONT

2018 ◽  
Author(s):  
Christine Jakobs ◽  
Peter Tröger ◽  
Matthias Werner ◽  
Philipp Mundhenk ◽  
Karsten Schmidt

Semi-automatic safety analysis and optimization

2018 ◽  
Author(s):  
Peter Munk ◽  
Andreas Abele ◽  
Eike Thaden ◽  
Arne Nordmann ◽  
Rakshith Amarnath ◽  
...  
Keyword(s):  
Safety Analysis

scholarly journals RADAR

2018 ◽  
Author(s):  
Wenqin Huangfu ◽  
Shuangchen Li ◽  
Xing Hu ◽  
Yuan Xie

scholarly journals BLASYS

2018 ◽  
Author(s):  
Soheil Hashemi ◽  
Hokchhay Tann ◽  
Sherief Reda

DPS

2018 ◽  
Author(s):  
Hyeonuk Sim ◽  
Saken Kenzhegulov ◽  
Jongeun Lee
Load More ...
Sign in / Sign up

Export Citation Format

Share Document