Dissertaties - Rijksuniversiteit Groningen

Home RUG Dissertaties per faculteit Wiskunde en Natuurwetenschappen 1994 p.g.lucassen


	Current section: Section menu: Links HOME dissertaties Zoek in dit archief Zoek in alle archieven Alle elektronische dissertaties Alle gedrukte dissertaties De laatste 20 toevoegingen Aanleverloket Versie voor Mobiel Versie voor PC Top 500 RSS alle dissertaties Economie en Bedrijfskunde Gedrags- en Maatschappijwetenschappen Godgeleerdheid en Godsdienstwetenschap Letteren Medische Wetenschappen Rechtsgeleerdheid Ruimtelijke Wetenschappen Wijsbegeerte Wiskunde en Natuurwetenschappen Over RSS Base URL voor OAI-PMH /oai/ Repository-software WildFire

| Nederlands

A denotational model and composition theorems of delay-insentive specifications.

(1994) Lucassen, Paulus Gregorius

Vertragingsongevoelige algebra is een formalisme dat gebruikt kan worden bij het specificeren, ontwerpen en verifiëren van een bepaald type digitale electronische circuits, namelijk
vertragingsongevoelige circuits. In dit proefschrift wordt een denotationeel model waarmee de correctheid van de wetten van deze algebra wordt bewezen. Verder worden een aantal compositie-stellingen afgeleid die het praktisch gebruik van vertragingsongevoelige algebra vergemakkelijken. Het nut van deze stellingen wordt getoetst door het beschouwen van een ruim aantal voorbeelden en een casus van gemiddelde complexiteit. In het navolgende wordt het een en ander verduidelijkt. ...

Zie: Samenvatting

Samenvatting

Gebruik a.u.b. deze link om te verwijzen naar dit document:

http://irs.ub.rug.nl/ppn/117934860

Meer informatie in de catalogus
Meer informatie in Picarta

Alle gegevens

Home RUG Dissertaties per faculteit Wiskunde en Natuurwetenschappen 1994 p.g.lucassen

To top

Links

RSS

Base URL voor OAI-PMH

Repository-software

A denotational model and composition theorems of delay-insentive specifications.