Synthesizing verified components for cyber assured systems engineering.
Eric MercerKonrad SlindIsaac AmundsonDarren D. CoferJunaid BabarDavid S. HardinPublished in: Softw. Syst. Model. (2023)
Keyphrases
- systems engineering
- software engineering
- systems development
- industrial applications
- knowledge extraction
- requirements engineering
- topics covered include
- databases
- web information systems
- information extraction
- knowledge based systems
- intrusion detection
- data analysis
- web services
- website
- decision making
- data mining
- cyber physical systems
- real world
- database