Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David C. Luckham
Research Into Development of Executable Reference Architectures for Avionics Systems
Related publications
Research and Development of Interprocedural Algorithms for Defect Searching in Executable Program Code
Proceedings of the Institute for System Programming of the RAS
Efficient Application Representation for HASTE: Hybrid Architectures With a Single, Transformable Executable
Optimal Configuration of Virtual Links for Avionics Network Systems
International Journal of Aerospace Engineering
Aerospace Engineering
Reference Architectures: Factors for Their Sustainability
An Approach for System of Systems Executable Architecture Structure Analysis
DEStech Transactions on Computer Science and Engineering
Model-Based System Design of Time-Triggered Architectures - Avionics Case Study
Control Strategies for Complex Systems for Use in Aerospace Avionics.
Engineering Executable Agents Using Multi-Context Systems
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Trap Architectures for Lisp Systems
