...
机译:Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System
Computer Science Department, Instituto Tecnológico de Aeronáutica, S?o José dos Campos, Brazil;
Postgraduate Course in Space Engineering and Technology, Instituto Nacional de Pesquisas Espaciais and Omega7 Systems, S?o José dos Campos, Brazil;
Behavioral sciences; Unified modeling language; Insulin pumps; Insulin; Glucose; Modeling; Systematics;