Fariba Rahimi

1PUBLICATIONS

0CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|Nov 23, 2021

Towards a formal framework for integrated design-optimization and control of mechatronicsystems.

Fariba Rahimi

Pageof 1

Frequent Collaborators

Frequent Collaborators