BibSLEIGH — arinc stem

Used together with:

base (2)
simul (1)
dynam (1)
valid (1)
implement (1)

Stem arinc$ (all stems)

AdaEurope-2015-FernandezPGH #framework: AFDX Emulator for an ARINC-Based Training Platform (JF, HP, JJG, MGH), pp. 212–227.
WICSA-ECSA-2012-Lopez-JaqueroMNEC #configuration management: Supporting ARINC 653-based Dynamic Reconfiguration (VLJ, FM, EN, AE, JAC), pp. 11–20.
SAC-2012-HanJ #clustering #kernel #linux: Kernel-level ARINC 653 partitioning for Linux (SH, HWJ), pp. 1632–1637.
SIGAda-2009-DelangePPKSK #simulation #using #validation: Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.