Paper information

Paper code

IAC-14,D1,6,2,x26726

Order

2

Room

717A

Title

Model-based approach to verify the behaviour of a distributed autonomous on-board system

abstract

View PDF

Session

6. System Engineering - Methods, Processes and Tools (2)

symposium

D1. SPACE SYSTEMS SYMPOSIUM

congress

IAC-14

Type of presentation

oral

Main author

Mr. Bálint Sódor, Hungarian Academy of Sciences, the Wigner Research Centre for Physics (Wigner RCP), Hungary

Co-authors

Mr. Gabor Troznai, Wigner Research Centre for Physics, Hungarian Academy of Sciences, Hungary;

Mr. Andras Balazs, SGF Ltd, Hungary;

Dr. Sandor Szalai, SGF Ltd, Hungary;