
Model Checking Software
Dragan Bosnacki, Stefan Leue
₹5,510

by K. Kappen
Free delivery. Nothing extra to pay at checkout.
Mit dem verstarkten Einsatz des ProzeBrechners in der spanen- den Fertigung wachst auch die Forderung, Grenzregelungs (ACC-)- Systeme in den Rechner zu integrieren. Diese Aufgabe wurde in der vorliegenden Arbeit in drei Entwicklungsstufen durchge- ftihrt. Zunachst wurde die Grenzregelung als Einzelfunktion in einen ProzeBrechner integriert (direkte digitale Grenzregelung) .
Description supplied by the publisher.