Formalization of Natural Language into PPTL Specification via Neural Machine Translation

von Li, Chunyi
Veröffentlicht in International Workshop on SOFL+MSVL (11. : 2022 : Madrid) Structured object-oriented formal language and method (2023)