Language for Unified Verification and Implementation for Distributed Avionics.
Benjamin F. JonesLee PikeSrivatsan VaradarajanBrendan HallPublished in: J. Aerosp. Inf. Syst. (2018)
Keyphrases
- layered architecture
- distributed systems
- distributed environment
- specification language
- multi agent
- cooperative
- programming language
- java bytecode
- language learning
- fault tolerant
- efficient implementation
- communication cost
- language processing
- distributed computing environment
- concurrent systems
- java virtual machine
- query language for xml
- data sets
- formal methods
- face verification
- computer networks
- natural language
- neural network