Name Card

Full name Familienname, Vorname

Mavridou, Anastasia

Main Affiliation Organisationszuordnung

NASA Ames Research Center, USA

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Ádám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja	From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif	Inproceedings Konferenzbeitrag	3-Jun-2023