TY  - JOUR

T1  - Statechart testing method for aircraft control systems

JO  - SOFTW TEST VERIF REL

PY  - 2001/03/01

AU  - Bogdanov K

AU  - Holcombe M

ED  - 

VL  - 11

IS  - 1

SP  - 39

EP  - 54

Y2  - 2024/12/22

ER  -