Hopp til hovedinnhold
  • Fagfelt
  • Bransjer
  • Prosjekter
  • Publikasjoner
  • Aktuelt
    • Aktuelt
    • Podcast
    • Arrangementer
  • Om NR
    • Ansatte i NR
    • Aktsomhetsvurderinger
    • Forskningssentre
    • Jobb og karriere
    • NR i dag og historisk
    • NRs masterpris
    • NRs årsrapporter
    • Om NR
    • Organisasjon
      • DART
      • SAMBA
      • SAND
    • Presserom
      • Mediabank
    • Plan for likebehandling
    • Rettighetsstrategi
    • Samfunnsansvar
    • Veibeskrivelse
  • Språk: NO
    • EN

Model mining and efficient verification of software product lines

  • Siavash Soleimanifard
  • Dilian Gurov
  • Ina Schaefer
  • Bjarte M. Østvold
  • Minko Markov

Publikasjonsdetaljer

  • Journal: Serdica Journal of Computing, vol. 9, p. 35–82, 2015
  • Internasjonale standardnumre:
    • Trykt: 1312-6555
    • Elektronisk: 1314-7897

Bjarte M. Østvold

Ass. forskningssjef

  • Du er her:  Hjem
  • Publikasjoner
  • Vitenskapelig artikkel
  • Model mining and efficient verification of software product lines
  • Ansatte
  • Om NR

Kontakt oss

  • (+47) 2285 2500
  • nr@nr.no

Finn oss på

  • Facebook
  • LinkedIn

Organisasjonsnummer

952125001

Post

Norsk Regnesentral STI
Postboks 114 Blindern
0314 Oslo

Besøksadresse

Gaustadalleen 23a, 4.etasje
Kristen Nygaards hus
0373 Oslo