Pages that link to "Item:Q1680557"
From MaRDI portal
The following pages link to Formalization of fractional order PD control systems in HOL4 (Q1680557):
Displayed 2 items.
The following pages link to Formalization of fractional order PD control systems in HOL4 (Q1680557):
Displayed 2 items.