Verification and Validation Approaches for Model-Based Software Engineering.

Johann Schumann Katerina Goseva-Popstojanova

Published in: MoDELS (Companion) (2019)

Keyphrases

software engineering
model checking
artificial intelligence
formal methods
information systems
software systems
databases
expert systems
object oriented
programming language
software design
face verification