ask others

Hadi Zaatiti

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c2]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/dx/ZaatitiYDG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dx/ZaatitiYDG17
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois:
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX 2017: 124-143
2015
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/esweek/CancilaZP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esweek/CancilaZP15
Daniela Cancila, Hadi Zaatiti, Roberto Passerone:
Cyber-Physical System and Contract-Based Design: A Three Dimensional View. WESE 2015: 4:1-4:4

Coauthor Index

see FAQ

maintained by

at