Sökt på: Werner Damm
totalt 72 träffar
Agility für Fortgeschrittene
Formal Techniques in Real-Time and Fault-Tolerant Systems
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, …
Integration of Software Specification Techniques for Applications in Engineering
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 …
Practical Formal Methods for Hardware Design
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. …
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen …
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen …
Computer Aided Verification
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 …
Computer Aided Verification
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 …
Integration of Software Specification Techniques for Applications in Engineering
Practical Formal Methods for Hardware Design
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. …
Formal Techniques in Real-Time and Fault-Tolerant Systems
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, …
Schemapädagogik bei jugendlichen Gewalttätern
Der Umgang mit jugendlichen Gewalttätern ist schwierig und stellt an die professionelle Fachkraft hohe Anforderungen. Tätern fehlt es meistens an Schuldbewusstsein und …