-
1Academic Journal
Συγγραφείς: Shuai Li
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D2.4 [Software Engineering, Software/Program Verification—Validation General Terms Performance, Reliability, Verification Keywords Real-Time Embedded System, Software Radio Protocol, Real- Time Scheduling, Non-Functional Properties, Model-Driven Engineering, UML, MARTE
Περιγραφή αρχείου: application/pdf