Sign in
EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software.
Deshuai Han
Qiliang Yang
Jianchun Xing
Guang-Lian Ma
Published in:
J. Comput. Sci. Technol. (2020)
Keyphrases
</>
software systems
modeling language
software development
formal methods
software design
software application
source code
modeling method
development process
verification method
formal verification
software tools
real time
software architecture
operating system
object oriented
information retrieval
databases