Author: "Igor Buzhinsky" / Journal: etfa - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Igor Buzhinsky"' showing total 4 results

Start Over Author "Igor Buzhinsky" Journal etfa

4 results on '"Igor Buzhinsky"'

1. Counterexample-guided inference of controller logic from execution traces and temporal formulas.

Author: Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto 0001, and Valeriy Vyatkin
Published: 2018
Full Text: View/download PDF

2. Testing automation systems by means of model checking.

Author: Igor Buzhinsky and Valeriy Vyatkin
Published: 2017
Full Text: View/download PDF

3. Modular plant model synthesis from behavior traces and temporal properties.

Author: Igor Buzhinsky and Valeriy Vyatkin
Published: 2017
Full Text: View/download PDF

4. User-friendly formal specification languages - conclusions drawn from industrial experience on model checking.

Author: Antti Pakonen, Cheng Pang, Igor Buzhinsky, and Valeriy Vyatkin
Published: 2016
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results