Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| en:safeav:ctrl:sim [2026/04/23 11:21] – raivo.sell | en:safeav:ctrl:sim [2026/04/24 09:45] (current) – raivo.sell | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Simulation & Formal Methods ====== | ====== Simulation & Formal Methods ====== | ||
| - | {{: | ||
| - | |||
| - | <todo @momala></ | ||
| ===== Why Simulation Needs Formalism ===== | ===== Why Simulation Needs Formalism ===== | ||
