Sortiert nach
Innovations in systems and software engineering, 2015-06, Vol.11 (2), p.113-130
2015
Link zum Volltext
Innovations in systems and software engineering, 2015-06, Vol.11 (2), p.73-93
2015
Link zum Volltext
Innovations in systems and software engineering, 2008-06, Vol.4 (2), p.123-123
2008
Link zum Volltext
Innovations in systems and software engineering, 2008-06, Vol.4 (2), p.143-160
2008
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Artificial Intelligence
- Computer Applications
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Software Engineering
- Technology
- Higher-Order Logic
- Sal
- Si: Fmis
- Cognitive Architecture
- Dicot
- Distributed Cognition
- Editorial
- Formal Analysis
- Formal Verification
- Human Error
- Interactive System Design
- Model Checking
- Original Paper