Filtern
Dokumenttyp
Sprache
- Englisch (6)
Volltext vorhanden
- nein (6)
Gehört zur Bibliographie
- nein (6)
Schlagworte
- linear systems (4)
- assume-guarantee reasoning (2)
- closed loop systems (2)
- cognition (2)
- compositional reasoning (2)
- simulation relations (2)
- Europe (1)
- compositional Reasoning (1)
- computer simulation (1)
- decision support systems (1)
Institut
Begutachtungsstatus
- peer-reviewed (6)