Explore
keyword: specification – 3 free books.
These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Ahmed Irfan and Daniela Kaufmann, editors
AVAILABLE!
Login to Fave
Electro-Mechanical Actuators for Safety-Critical Aerospace Applications
Gianpietro Di Rito (editor)
AVAILABLE!
Login to Fave
Progenitor Diversity and Neural Cell Specification in the Central Nervous System
Marcos R. Costa et al.
AVAILABLE!
Login to Fave