Author of the publication

A pragmatic formal method (PFM) for computer system definition and execution.

. RSP, page 112-125. IEEE Computer Society, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Two embedded computer system requirement models: issues for investigation.. ISPW, page 106-112. ACM, (1985)ACM SIGSOFT Software Engineering Notes 11(4), August 1986.A pragmatic formal method (PFM) for computer system definition and execution.. RSP, page 112-125. IEEE Computer Society, (1992)Automatic generation of optimized unit dictionaries for text to speech synthesis., , and . ICSLP, ISCA, (1992)Technology innovations and product design issues in machine vision: The Technical Arts Corporation experience.. BMVC, page 1-6. BMVA Press, (1990)Automatic segmentation and quality evaluation of speech unit inventories for concatenation-based, multilingual PSOLA text-to-speech systems., , , and . EUROSPEECH, ISCA, (1993)Self-healing of a high temperature cured epoxy using poly(dimethylsiloxane) chemistry, , , and . Polymer - Jounal of Polymer Research, (2010)Multilingual PSOLA text-to-speech system., , , , , , , , and . ICASSP (2), page 187-190. IEEE Computer Society, (1993)Estimating cell populations., and . Pattern Recognition, 13 (5): 365-370 (1981)PowerPC AS A10 64-bit RISC microprocessor., , , , , , , , and . IBM Journal of Research and Development, 40 (4): 495-506 (1996)Electrical modelling of lossy on-chip multilevel interconnecting lines., , and . EURO-DAC, page 106-110. EEE Computer Society, (1991)