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

Formal Architecture Modeling of Sequential C-Programs.

Jonas WestmanMattias Nyberg
Published in: FACS (2015)
Keyphrases
  • management system
  • formal model
  • software architecture
  • architectural design
  • real time
  • neural network
  • website
  • petri net
  • hardware implementation
  • reactive systems
  • dynamic aspects