Feasibility analysis for robustness quantification by symbolic model checking
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana YounesТом:
39
Мова:
english
Сторінки:
20
DOI:
10.1007/s10703-011-0121-5
Date:
October, 2011
Файл:
PDF, 713 KB
english, 2011