Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
en:safeav:ctrl:sim [2026/04/23 11:21] raivo.sellen:safeav:ctrl:sim [2026/04/24 09:45] (current) raivo.sell
Line 1: Line 1:
 ====== Simulation & Formal Methods ====== ====== Simulation & Formal Methods ======
-{{:en:iot-open:czapka_m.png?50| Masters (2nd level) classification icon }} 
- 
-<todo @momala></todo> 
  
 ===== Why Simulation Needs Formalism ===== ===== Why Simulation Needs Formalism =====
en/safeav/ctrl/sim.1776932501.txt.gz · Last modified: by raivo.sell
CC Attribution-Share Alike 4.0 International
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0