Synthesizing Verified Components for Cyber Assured Systems Engineering.
Eric MercerKonrad SlindIsaac AmundsonDarren D. CoferJunaid BabarDavid S. HardinPublished in: MoDELS (2021)
Keyphrases
- systems engineering
- software engineering
- systems development
- knowledge extraction
- industrial applications
- web information systems
- topics covered include
- requirements engineering
- design thinking
- data sets
- decision making
- computational biology
- user interface
- data analysis
- neural network
- engineering and computer science
- databases