Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorNguyen, Trinh Dong-
dc.description.abstractThis paper proposes a technique for specifying and analyzing the quality of functional and non-functional features in real-time systems. These works include a proposal of timed-resource protocols to model and analyze the interactions among methods and components, and a presentation of algorithms to decide if the behavior sequences of a system's environment to conform to component’s protocolsvi_VN
dc.subjectTimed - resource protocolvi_VN
dc.subjectTimed-resource designvi_VN
dc.subjectReal-time contractsvi_VN
dc.subjectReal-time systemsvi_VN
dc.subjectEmbedded systemsvi_VN
dc.titleA General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systemsvi_VN
Appears in Collections:CITA 2017

Files in This Item:

 Sign in to read

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.