Extending MBSE methodology and SysML formalism to integrate human considerations.

Camille Raymond Daniel Prun

Published in: HCI-Aero (2016)

Keyphrases

formal methods
human subjects
reinforcement learning
knowledge representation
database
databases
formal model
human behavior
human interaction
genetic algorithm
artificial intelligence
expert systems
life cycle
conceptual model
conceptual graphs
safety analysis