C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Architecture Modeling of Sequential C-Programs.
Jonas Westman
Mattias 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