Tác giả: Darren Cofer

Ủng hộ

1 Ebooks bởi Darren Cofer

Darren Cofer & Alessandro Fantechi: Formal Methods for Industrial Critical Systems
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are inte …
PDF
Anh
DRM
€58.12