Sebastian preue (2 risultati)
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,70
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur berprfung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfr werden die verwendeten Formalismen weitestehend durch domnenspezifische Besc…hreibungsmglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu untersttzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms berprft. Auf diese Weise lsst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fr die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 123,33
EUR 31,67 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur berprfung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfr werden die verwendeten Formalismen weitestehend durch domnenspezifische Besc…hreibungsmglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu untersttzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms berprft. Auf diese Weise lsst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fr die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
