Multiprocessor system design validation using a temporal deductive system

Thumbnail Image

Files

Yurkowski_Multiprocessor_system.pdf (7.11 MB)

Date

1988

Authors

Yurkowski, Patric Michael Xavier

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

http://hdl.handle.net/1993/16725

Collections

FGPS - Electronic Theses and Practica