Data-Centric Design for Formal Verification of Vehicle Monitoring.

José Luis Conradi Hoffmann Antônio Augusto Fröhlich

Published in: SBESC (2023)

Keyphrases

formal verification
data centric
model checking
case study
design process
model checker
keywords
database
object oriented
building blocks
business processes
conceptual model
information management
xml schema