Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

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

  • Yuliya Prokhorova
  • , Linas Laibinis
  • , Elena Troubitsyna

    Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

    23 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    Sivut51–76
    JulkaisuInformation and Software Technology
    Vuosikerta60
    DOI - pysyväislinkit
    TilaJulkaistu - 2015
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Viittausmuodot