Edel Sherratt

Aberystwyth University
Llandinam Building
Penglais
Aberystwyth
Teyrnas Unedig Prydain Fawr a Gogledd Iwerddon

Allbwn ymchwil fesul blwyddyn

Os gwnaethoch unrhyw newidiadau yn Pure byddwch yn gallu eu gweld yn y fan yma cyn hir.

Hidlydd

2021
Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics
Sherratt, E., Reed, R., Prinz, A., v. Löwis, M., Piefel, M., Gotzhein, R., Eschbach, R., Glässer, U., Wang, Y., Zhao, Y., Zhang, W. & Ai, B., 28 Gorff 2021, (Derbyniwyd/Yn y wasg) 349 t. ITU Telecommunication Standardization Sector.
Allbwn ymchwil: Cyfraniad arall

Mynediad agored
Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics
Sherratt, E., Reed, R., Prinz, A., von Löwis of Menar, M., Piefel, M., Gotzhein, R., Eschbach, R., Glässer, U., Wang, Y., Zhao, Y., Zhang, W. & Ai, B., 28 Gorff 2021, (Derbyniwyd/Yn y wasg) 154 t. ITU Telecommunication Standardization Sector.
Allbwn ymchwil: Cyfraniad arall

Mynediad agored
2019

Recommendation Z.100 Annex F1 (10/2019): Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview
Reed, R., Sherratt, E., Prinz, A., v. Löwis, M., Piefel, M., Gotzhein, R., Eschbach, R., Glässer, U., Wang, Y., Ai, B., Zhao, Y. & Zhang, W., 14 Hyd 2019, 38 t. ITU Telecommunication Standardization Sector.
Allbwn ymchwil: Cyfraniad arall

Mynediad agored

Allbwn ymchwil