Diese Seite auf deutsch
SearchFormal Derivation of Digital Circuits
(inactive)
| Start date: | 01.01.1992 |
| End date: | 31.12.1993 |
| Duration: | 01.01.1992 - 31.12.1993 |
| Funded by: | Universität Augsburg |
| Local project leader: | Prof. Dr. Bernhard Möller |
| Local scientists: |
Prof. Dr. Walter Dosch |
| Publications: | Publication list |
Abstract
The project goal was to derive from the general rules of program construction more special ones that are particularly suited to the case of cirucit derivation.