Formal Model Checking and Transformations of Models Represented in UML with Alloy

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

Angol nyelvű Tudományos Szaktanulmány (Könyvrészlet)
    Szakterületek:
      Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
      2021-10-28 03:32