This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.
We gebruiken cookies om er zeker van te zijn dat je onze website zo goed mogelijk beleeft. Als je deze website blijft gebruiken gaan we ervan uit dat je dat goed vindt.
Ok