Faculty profile
Dennis Peters
Back to facultyResearch
Read how they describe their research on their Memorial University of Newfoundland profile.
Latest funding
- $90,000
Computer system design analysis and verification using relational specifications
NSERC · 2004 · Principal investigator
- $79,184
Relational techniques for specification and monitoring of real-time computer systems
NSERC · 2000 · Principal investigator
No publications available.
Computer system design analysis and verification using relational specifications
Principal investigators: Peters, Dennis
Relational techniques for specification and monitoring of real-time computer systems
Principal investigators: Peters, Dennis
From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.
Profile data last refreshed on September 29, 2026 from the university directory, publication records and public research funding records.