Air Force Research Laboratory / Formal Systems (Europe) Ltd. / Spacecraft Systems / Space Dynamics Laboratory / /
Country
Germany / Croatia / /
Currency
USD / / /
Event
Product Issues / /
Facility
Computer Engineering Utah State University / Vanderbilt University / Prentice Hall / Utah State University / Computer Engineering University of Canterbury / Space Dynamics Laboratory / CDH port / NASA Goddard Space Flight Center / /
IndustryTerm
model based design tool / software engineering / event-transition systems / legacy software / data communications / prototype modeling tool / software requirements / model interpreter tool / flight software verification / power network / telecommunication systems / defense applications / Industrial strength tools / orbit management / communication device / language and tool / industrial applications / translator tools / computer software / power distribution network / graphical modeling tool / solar-battery systems / translator tool / flight software / /
Organization
USA Electrical & Computer Engineering University of Canterbury / Vanderbilt University / National Aeronautics and Space Administration / Utah State University / NASA ANTS mission / Deep Space One mission / /
Person
Brandon Eames Allan McInnes / Figure / /
Position
translator / model interpreter / SystemBus model the communication / interpreter / example spacecraft model / model / the interpreter / /
Product
commanding scenario / /
ProgrammingLanguage
Java / C++ / /
ProvinceOrState
New Jersey / Utah / /
PublishedMedium
IEEE Transactions on Software Engineering / IEEE Transactions on Communications / /
SIGPLAN Conference Proceedings template