Formal architecture modeling of sequential non-recursive C programs.

Jonas Westman Mattias Nyberg Joakim Gustavsson Dilian Gurov

Published in: Sci. Comput. Program. (2017)

Keyphrases

formal model
management system
architectural design
reactive systems
real time
neural network
case study
computer programs
sequential data
control flow
formal models