Symbolische Simulationsmethoden für die industrielle formale Verifizierung, Hardcover von...
116,39 €
He admits that the approach does have computational limits, but says they are not as severe in practice as formal verification, and can be used so that performance degrades gracefully rather than hitting hard limits.
Jetzt bei Ebay:
