First Page | Document Content | |
---|---|---|
![]() Date: 2014-08-29 03:30:47System software Disk file systems European Space Research and Technology Centre Separation kernel Integrated modular avionics Kernel Logical partition Disk partitioning IMA European Space Agency Computing Computer architecture | Add to Reading List |
![]() | Council of Scientiļ¬c and Industrial Research NATIONAL AEROSPACE LABORATORIES Bangalore, India Aerospace Electronics and SystemsDocID: 1ktzw - View Document |
![]() | Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska Department of Computer Science and Mathematics University of Bremen Bremen, Germany Email: {chref, jp}@tzi.deDocID: 18CT0 - View Document |
![]() | 34th www.dasconline.org Digital Avionics Systems Conference Corinthia HotelDocID: 18uYd - View Document |
![]() | PDF DocumentDocID: 17hlS - View Document |
![]() | SymTA/S Approach to IMA - A Prospective studyDocID: 12vc7 - View Document |