The first step forward to axiom-based property verification of P4 programs

Tóth, Gabriella [Tóth, Gabriella (Informatikai tudo...), szerző] PhD Informatika Doktori Iskola (ELTE / IK); Tejfel, Máté [Tejfel, Máté (Formális módszerek), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)

Angol nyelvű Absztrakt / Kivonat (Könyvrészlet) Tudományos
Megjelent: Iványi Péter. Abstract book for the 15th Miklós Iványi International PhD & DLA Symposium: Architectural, Engineering and Information Sciences. (2019) ISBN:9789634294498 p. 150
    Azonosítók
    • MTMT: 31148438
    Támogatások:
    • Integrált kutatói utánpótlás-képzési program az informatika és számítástudomány diszciplináris te...(EFOP-3.6.3-VEKOP-16-2017-00002)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2025-01-25 20:27