Login / Signup

Safe functional systems through integrity types and verified assembly.

Michael ChristensenJoseph McMahanLawton NicholsJared RoeschTimothy SherwoodBen Hardekopf
Published in: Theor. Comput. Sci. (2021)
Keyphrases
  • management system
  • neural network
  • genetic algorithm
  • social networks
  • distributed systems
  • computer systems
  • learning systems
  • complex systems
  • machine learning
  • information systems
  • multimedia