Verifying Real-Time Embedded Software by Means of Automated State-based Online Testing and the SPIN Model Checker—Application to RTEdge Models
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.
Details