"Fault tolerance"@en . "System architecture"@en . "SWC"@en . "Interaction gulfs"@en . "Critical system"@en . "Performance evaluation"@en . "Model-based verification"@en . "Interactive cockpits"@en . "Task modelling"@en . "Prototyping"@en . "MVC"@en . "Object oriented Petri nets"@en . "Formal descriptiontechniques"@en . "Learning"@en . "Self-checking components"@en . "Recommender systems"@en . "Automation"@en . "Training"@en . "Multi-touch interactions"@en . . "Diagrammatic tools"@en . "Forgetting"@en . "Formal methods"@en . "Eric" . "Annotations"@en . "Operatortasks"@en . . "Critical Interactive Systems"@en . "Multimodal interfaces"@en . "Eric Barboni" . "Model-based approaches for the Web"@en . "Human-machine interfaces"@en . "Ancillary queries"@en . <0000-0002-4235-9543> . "Techniques de descriptions formelles"@fr . "Task modeling"@en . "Interactive software"@en . "Reliability"@en . "\u00C9valuation de performance"@fr . "StateWebCharts"@en . . "Interactive prototyping"@en . "Formal description techniques"@en . "Safety management"@en . . "SCXML"@en . "Software Architecture"@en . "Hamsters"@fr . "ARINC 661"@en . "Tasks"@en . "Interruptions"@fr . "Nested user tasks"@en . "Dependability"@en . "\u00C9valuation de l\u2019utilisabilit\u00E9 bas\u00E9e sur des mod\u00E8les"@fr . "Model-based design"@en . "Control rooms"@en . "Software engineering"@en . "eda31bf4b32408ef60309ca65cc7ba23" . "Critical computer-based systems"@en . "Interaction techniques"@en . "Model-based usability evaluation"@en . "Development process of interactive systems"@en . "Usability evaluation"@en . "Model-based Web developpement"@en . "Operator tasks"@en . . "Modularity"@en . "Levels of automation"@en . "Ancillary Web queries"@en . "\u00C9valuation de performances"@fr . "Analysis"@en . "Certification"@en . "Tactile interactions"@en . "Scenarios based simulation"@en . . "Interactive critical systems design"@en . "Evolvability"@en . "Development process"@en . "Interactive systems"@en . "Tools"@en . "Techniques d\u2019interaction"@fr . "Interactive software engineering"@en . "Statecharts"@en . "Resilient computing"@en . "Graphical User Interface Markup Language"@en . "Formal models"@en . "Notations"@en . "Model-based approaches"@en . "Model Driven Architecture"@en . "Approches bas\u00E9es mod\u00E8le"@fr . "Aircraft cockpits"@en . "Navigation modelling"@en . "Resilience"@en . "Dialog modelling"@en . "Tuning"@en . "Mod\u00E9lisation de syst\u00E8mes interactifs"@fr . "Information retrieval"@en . . "Fault-tolerance"@en . "Critical applications"@en . "Barboni" . "Model-based design of interactive systems"@en . "Behavioural Modelling"@en . "Model-based approach"@en . . "Performance"@en . "Configuration management"@en . "Transparent automation"@en . . "Systems state representation"@en . "Training program development"@en . "Interactive systems modeling"@en . . "ARINC 661 specification"@en . "Model-based"@en .