التفاصيل البيبلوغرافية
العنوان:
Language for Unified Verification and Implementation for Distributed Avionics
المؤلفون:
B. F. Jones , Lee Pike , Brendan Hall , Srivatsan Varadarajan
المصدر:
Journal of Aerospace Information Systems . 15:640-664
بيانات النشر:
American Institute of Aeronautics and Astronautics (AIAA), 2018.
سنة النشر:
2018
مصطلحات موضوعية:
020301 aerospace & aeronautics , Thesaurus (information retrieval) , Computer science , business.industry , Aerospace Engineering , Fault tolerance , 02 engineering and technology , Avionics , Integrated modular avionics , Computer Science Applications , Embedded software , 0203 mechanical engineering , 020204 information systems , 0202 electrical engineering, electronic engineering, information engineering , Electrical and Electronic Engineering , Software engineering , business , Real-time operating system , Failure mode and effects analysis
الوصف:
In designing, verifying, and validating distributed systems today, an engineer is often faced with having to specify a system multiple times. For example, the engineer might specify it once in a mo...
تدمد:
2327-3097
URL الوصول:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc9829053928658bdc416ef7bd66e243 https://doi.org/10.2514/1.i010598
رقم الأكسشن:
edsair.doi...........cc9829053928658bdc416ef7bd66e243
قاعدة البيانات:
OpenAIRE