undefined

< Back to search results

Exact finite-state machine identification from scenarios and temporal properties

Year of publication

2016

Authors

Ulyantsev, Vladimir; Buzhinsky, Igor; Shalyto, Anatoly

Organizations and authors

Aalto University

Buzhinsky Igor

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal/Series

International Journal on Software Tools for Technology Transfer

Publisher

SPRINGER

Volume

20

Issue

1

Pages

35-55

ISSN

1433-2779

​Publication forum

58927

​Publication forum level

1

Open access

Open access in the publisher’s service

No

Self-archived

Yes

Other information

Fields of science

Computer and information sciences

Keywords

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

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

DOI

10.1007/s10009-016-0442-1

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes