Formal verification of OIL component specifications using mCRL2
Bunte, Olav, van Gool, Louis C. M., Willemse, Tim A. C.
Published in International journal on software tools for technology transfer (01.06.2022)
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
Get full text
Paper
Journal Article