Sign in

How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?

Mohamed Toufik AilaneChristoph KniekeAndreas Rausch
Published in: CoRR (2022)
Keyphrases