A Case in Point: Verification and Testing of a EULYNX Interface
Article in Formal Aspects of Computing (March 2023)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in Formal Aspects of Computing (March 2023)
Book chapter (October 2022)
Article in IEEE Transactions on Intelligent Transportation Systems (August 2016)