Arguing on Software-Level Verification Techniques Appropriateness.

Carmen Cârlan Barbara Gallina Severin Kacianka Ruth Breu

Published in: SAFECOMP (2017)

Keyphrases

software systems
software tools
neural network
computer systems
levels of abstraction
software design
artificial intelligence
image sequences
software development
software architecture
verification method