Login / Signup
Synthesis of verifiable concurrent Java components from formal models.
Julio Mariño
Raúl N. N. Alborodo
Lars-Åke Fredlund
Ángel Herranz-Nieva
Published in:
Softw. Syst. Model. (2019)
Keyphrases
</>
formal models
process model
rule based systems
formal model
building blocks
texture synthesis
object oriented
open source
design patterns
reusable components
sufficient conditions
expert systems
preprocessing
machine learning
neural network
cross platform
real time