Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Ap...

Chuchu Fan Formal Methods for Safe Autonomy (Paperback) ACM Books (UK IMPORT)

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Synthesis of Passive Networks: Theory and Methods Appropriate to the Realiza...

Logic Synthesis and Verification Algorithms

Synthesis of Passive Networks: Theory and Methods Appropriate to the...

Polymer and Polymer-hybrid Nanoparticles : From Synthesis to Biomedical Appli...