Upgrade of the model-checker RT Spin for the specification and verification of real-time systems with urgent actions

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Originele taal-2Engels
UitgeverTechnische Universiteit Eindhoven
StatusGepubliceerd - 1998

Citeer dit