Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
Conference proceeding (July 2021)
The most recent citing publication is shown below. View this citation on Dimensions.
Conference proceeding (July 2021)