Login / Signup
Tactical contract composition for hybrid system component verification.
Andreas Müller
Stefan Mitsch
Werner Retschitzegger
Wieland Schwinger
André Platzer
Published in:
Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
</>
model checking
software components
formal verification
data sets
databases
real world
information retrieval
artificial intelligence
clustering algorithm
case study
multiscale
expert systems
supply chain
asynchronous circuits