SciSys, Clothier Road, Bristol, BS4 5SS, United Kingdom Email:marek.prochazka@scisys.co.uk;
rnSciSys, Clothier Road, Bristol, BS4 5SS, United Kingdom Email:roger.ward@scisys.co.uk;
rnDepartment of Software Engineering, Charles University, Malostranske namesti 25,118 00 Prague, Czech Republic Email: petr.tuma@dsrg.mff.cuni.cz;
rnDepartment of Software Engineering, Charles University, Malostranske namesti 25,118 00 Prague, Czech Republic Email: hnetynka@dsrg.mff.cuni.cz;
rnDepartment of Software Engineering, Charles University, Malostranske namesti 25,118 00 Prague, Czech Republic Email: jiri.adamek@dsrg.mff.cuni.cz;
机译:基于软件航天器模拟器的机载飞行软件的开发和验证
机译:基于软件航天器模拟器的机载飞行软件的开发和验证
机译:基于软件的航天器模拟器的板载飞行软件的开发与验证
机译:用于航天器载体软件的一组成分框架
机译:用于机器人控制的灵活的跨机器软件框架:从板载到云执行
机译:从数据到知识-可穿戴式传感系统的机载分类框架
机译:机载航天器软件中的内存分区新方法。 ud在Fabrice Kordon和Tullio Vardanega(ed。)中,可靠的软件技术