Yuhong Zhao

Recommendation Z.100 (2016) Annex F1 (10/16) : Annex F1:SDL-2010 formal definition: General overview

Ying Wang, Andreas Prinz, Robert Eschbach, 2016 .

Recommendation Z.100 (2016) Annex F2 (10/16): Z.100 : Specification and Description Language - Overview of SDL-2010 - SDL formal definition: Static semantics

Ying Wang, Andreas Prinz, Robert Eschbach, 2016 .