Treffer: APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study
Title:
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study
Authors:
Source:
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on. :1-10 Oct, 2013
Relation:
2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)
Database:
IEEE Xplore Digital Library