Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca. Generation of Execution Sequences for Modular Time Critical Systems. IEEE Trans. Software Eng., 26(2):128-149, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.