Generation of Safety and Liveness Complaint Automata from Goal Model Specifications.

Novarun Deb Mandira Roy Nabendu Chaki Agostino Cortesi

Published in: EDCC (2020)

Keyphrases

computational model
high level
objective function
management system
experimental data
real time
probabilistic model
neural network
similarity measure
cellular automata
mathematical model
simulation model