Werner Damm – författare
Visar alla böcker från författaren Werner Damm. Handla med fri frakt och snabb leverans.
11 produkter
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Av Werner Damm
Häftad, 1987
583 kr
Lägg i varukorg
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer …
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Hartmut Ehrig, Werner Damm m. fl.
Häftad, 2004
567 kr
Lägg i varukorg
This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur .. ingenieurwissenschaftliche …
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Engelbert Westkamper, Eckehard Schnieder m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Av Werner Damm, Ernst-Rüdiger Olderog
Häftad, 2002
551 kr
Lägg i varukorg
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and …
Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Av Ernst-Rudiger Olderog, Werner Damm
E-bok, 2003
755 kr
Lägg i varukorg
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and …
Practical Formal Methods for Hardware Design
Av C. Delgado Kloos, Carlos Delgado Kloos m. fl.
Häftad, 1997
567 kr
Lägg i varukorg
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which …
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Av Werner Damm, Holger Hermanns
Häftad, 2007
567 kr
Lägg i varukorg
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods …
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Av Holger Hermanns, Werner Damm
E-bok, 2007
755 kr
Lägg i varukorg
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods …
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Av Werner Damm
E-bok, 2013
591 kr
Lägg i varukorg
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer …
Practical Formal Methods for Hardware Design
Av Werner Damm, Carlos Delgado Kloos
E-bok, 2012
755 kr
Lägg i varukorg
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which …
