Skip to main content

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems

Book cover

No cover available.