A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems

Abstract

Publication
Symposium on Applied Computing, ACM
Date