Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: A case study in the air-traffic control domain

From MaRDI portal
Publication:4784528