Återgå till huvudnavigering Återgå till sök Gå direkt till huvudinnehållet

Facilitating Construction of Safety Cases from Formal Models in Event-B

  • Yuliya Prokhorova
  • , Linas Laibinis
  • , Elena Troubitsyna

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    23 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Sidor (från-till)51–76
    TidskriftInformation and Software Technology
    Volym60
    DOI
    StatusPublicerad - 2015
    MoE-publikationstypA1 Tidskriftsartikel-refererad

    Citera det här