Author: "István Majzik" / Publisher: budapest university of technology and economics - 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 '"István Majzik"' showing total 2 results

Start Over Author "István Majzik" Publisher budapest university of technology and economics

2 results on '"István Majzik"'

1. Integration Test Generation and Formal Verification for Distributed Controllers

Author: Bence Graics and István Majzik
Published: 2023
Full Text: View/download PDF

2. Lazy Abstraction for Probabilistic Systems

Author: Dániel Szekeres and István Majzik
Published: 2023
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results