Search Results - "Bunte, Olav" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Formal verification of OIL component specifications using mCRL2

Formal verification of OIL component specifications using mCRL2

by Bunte, Olav, van Gool, Louis C. M., Willemse, Tim A. C.
Published in International journal on software tools for technology transfer (01.06.2022)

Get full text

Journal Article

On the Preservation of Properties when Changing Communication Models

On the Preservation of Properties when Changing Communication Models

by Bunte, Olav, van Gool, Louis C. M, Willemse, Tim A. C
Year of Publication 12.10.2022

Get full text

Journal Article

On the Preservation of Properties when Changing Communication Models

On the Preservation of Properties when Changing Communication Models

by Bunte, Olav, Louis C M van Gool, Willemse, Tim A C
Published in arXiv.org (12.10.2022)

Get full text

Paper