Automated Translation of Natural Language Requirements to Runtime Monitors

von Perez, Ivan
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3 - 5, 2012 ; proceedings

Veröffentlicht 2012