Összesen 18 elem 2 oldalon, 10 listázva, a(z) 1. oldal megjelenítve.Következő oldalÁtlépés a keresőbeIn English
Megjegyzés: Export Date: 3 February 2025
CODEN: SCPGD
Correspondence Address: Graics, B.; Budapest University of Technology and Economics, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.huMegjegyzés: Conference code: 306759
Export Date: 19 February 2024
Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.huMegjegyzés: Funding Agency and Grant Number: German BMBF [2022-1.2.4-EUREKA-2023-00013, 2022-1.2.4-EUREKA]
Funding text: We would like to thank every member of the Formal Methods Working Group who helped us write this paper with their insights and comments. We are also grateful to Ed Seidewitz and Conrad Bock, who never get tired of answering our questions. SysMD received support (GENIAL, KI4BoardNet) from the German BMBF. Gamma received support project no. 2022-1.2.4-EUREKA-2023-00013 under the 2022-1.2.4-EUREKA funding scheme.Megjegyzés: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223]
Funding text: National Research, Development and Innovation Fund of Hungary, Grant/Award Numbers: 2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02; New National Excellence Program of the Ministry for Innovation and Technology, Grant/Award Numbers: UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223Megjegyzés: Export Date: 26 October 2023
Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.huMegjegyzés: IncQuery Labs cPlc., Budapest, Hungary
Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States
TMT International Observatory LLC, Pasadena, CA, United States
Export Date: 26 May 2023
Correspondence Address: Horváth, B.; IncQuery Labs cPlcHungary; email: benedek.horvath@incquerylabs.com