Formal specification level :
Soeken, Mathias,
Formal specification level : concepts, methods, and algorithms / Mathias Soeken, Rolf Drechsler. - viii, 138 páginas : 87 ilustraciones
Springer eBooks
Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
9783319086996
TK7888.4
Formal specification level : concepts, methods, and algorithms / Mathias Soeken, Rolf Drechsler. - viii, 138 páginas : 87 ilustraciones
Springer eBooks
Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
9783319086996
TK7888.4