-
1Academic Journal
Authors: Shuai Li
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf