Select
Explore
keyword: specification – 3 free books.
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