Exact finite-state machine identification from scenarios and temporal properties

Publiceringsår

2016

Upphovspersoner

Ulyantsev, Vladimir; Buzhinsky, Igor; Shalyto, Anatoly

Organisationer och upphovspersoner

Aalto-universitetet

Buzhinsky Igor

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

International Journal on Software Tools for Technology Transfer

Förläggare

SPRINGER

Volym

Nummer

Sidor

35-55

ISSN

1433-2779

Publikationsforum

58927

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1007/s10009-016-0442-1