Verification of UML activity models using Alloy

Kherbouche, Meriem [Kherbouche, Meriem (Informatika), szerző] PhD Informatika Doktori Iskola (ELTE / IK); Molnár, Bálint [Molnár, Bálint (Informatika), szerző] Információs Rendszerek Tanszék (ELTE / IK)

Angol nyelvű Tudományos Absztrakt / Kivonat (Egyéb konferenciaközlemény)
    Azonosítók
    Szakterületek:
      Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
      2022-01-28 18:13