Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Miroslav Rujzl

1PUBLICATIONS

2CO-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:

|Apr 13, 2023

Hybrid Analog Computer for Modeling Nonlinear Dynamical Systems: The Complete Cookbook.

Miroslav Rujzl, Ladislav Polak, Jiri Petrzela

Pageof 1

Frequent Collaborators

1 joint publications

Ladislav Polak

1 joint publications

Jiri Petrzela

Frequent Collaborators

1 joint publications

Ladislav Polak

1 joint publications

Jiri Petrzela

Top Related Videos

Designing and Implementing Nervous System Simulations on LEGO Robots

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on : May 25, 2013

See more related videos

Top Related Videos

Designing and Implementing Nervous System Simulations on LEGO Robots

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on : May 25, 2013

See more related videos