Filteren
Sorteren
4 resultaten
gebondenEngels9780792393320
30-4-1993
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. Meer
paperbackEngels9781461364146
27-9-2012
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. Meer
paperbackEngels9783540550921
11-12-1991
This book presents state-of-the-art research results in the
area of formal methods for real-time and fault-tolerant
systems. The papers consider problems and solutions in
safety-critical system design and examine how wellthe use
of formal techniques for design, analysis and verification
serves in relating theory to practical realities. Meer
paperbackNederlands245 blz.9789462900202
1e druk
3-2-2015
De leden van de werkgroep ‘Mondiale duurzaamheid en het recht’ van de Vereniging voor Milieurecht bieden met dit boek een beeld van de juridische vragen rond duurzame handel. Meer