المؤلفون: Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 272, Iss Proc. MeTRiD 2018, Pp 93-106 (2018)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1911.08405v1Test; https://doaj.org/toc/2075-2180Test

الوصول الحر: https://doaj.org/article/fb61e3fecf214140982cfe1fd504b73eTest

المؤلفون: Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 223, Iss Proc. ICE 2016, Pp 83-97 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1608.03324v1Test; https://doaj.org/toc/2075-2180Test

الوصول الحر: https://doaj.org/article/4b80965016e74977be7c341d92ee10efTest

المؤلفون: Zsófia Ádám, Ignacio D Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V Trinh, Borja Fernández Adiego

مصطلحات موضوعية: Computer Programming and Software

الوصول الحر: https://ntrs.nasa.gov/citations/20220019339Test

المؤلفون: Thomas Pressburger, Anastasia Mavridou, Ivan Perez, Alwyn Goodloe, Peter Mehlitz, Dennis Volpano, Hannah Walsh

مصطلحات موضوعية: Computer Systems

الوصول الحر: https://ntrs.nasa.gov/citations/20230010160Test

المؤلفون: Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou

مصطلحات موضوعية: Mathematical And Computer Sciences (General)

الوصول الحر: https://ntrs.nasa.gov/citations/20220017032Test

المؤلفون: Zsófia Ádám, Ignacio D Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Martin Bes, Enrique Blanco Vinuela, Andreas Katis, Jean-Charles Tournier, Khanh V Trinh, Borja Fernandez Adiego

مصطلحات موضوعية: Computer Programming and Software

الوصول الحر: https://ntrs.nasa.gov/citations/20230003752Test

المؤلفون: Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

مصطلحات موضوعية: Mathematical And Computer Sciences (General)

الوصول الحر: https://ntrs.nasa.gov/citations/20220007510Test

المؤلفون: Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou

مصطلحات موضوعية: Mathematical And Computer Sciences (General)

العلاقة: Capturing and Analyzing Requirements with FRET

الوصول الحر: https://ntrs.nasa.gov/citations/20220000049Test

المؤلفون: Dimitra Giannakopoulou, Andreas Katis, Anastasia Mavridou, Thomas Pressburger

مصطلحات موضوعية: Systems Analysis And Operations Research

الوصول الحر: https://ntrs.nasa.gov/citations/20210013008Test

المؤلفون: Alberto Lluch Lafuente, Anastasia Mavridou

المصدر: International Journal on Software Tools for Technology Transfer. 24:973-976

مصطلحات موضوعية: Software, Information Systems

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::9910fdf33d68fdc96abc9f3f21428906Test
https://doi.org/10.1007/s10009-022-00687-7Test