• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formal architecture modeling of sequential non-recursive C programs.

Jonas WestmanMattias NybergJoakim GustavssonDilian 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