Produkte von Arnd Hartmanns

 
 
 
Arnd Hartmanns - On the analysis of stochastic timed systems

The formal methods approach to develop reliable and...

18,90 € *