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