• Home
  • Research
    • Contributions
  • Publications
    • Year
      • 2020-...
      • 2015-2019
      • 2010-2014
      • 2005-2009
      • 2000-2004
      • 1995-1999
      • 1990-1994
      • 1985-1989
      • 1980-1984
      • 1975-1979
    • Topics
      • Artificial Intelligence
      • Discrete Event Systems
      • Formal Methods
      • Optimization
      • Others
      • Software Engineering
      • Terminology Data Bank
      • Web Services
    • All
  • Processors and Microcontrollers
    • ARM Cortex
    • ARM 7
    • PIC 4520
    • PIC 4550
    • SPARC V9
    • Java Virtual Machine
  • Downloads
    • Alloy Models
    • aRby Programs
    • STS (BDD)
  • Books
Français

Richard St-Denis
Adjunct professor

Université de Sherbrooke
Département d'informatique
Université de Sherbrooke
2500, boulevard de l'Université
Sherbrooke (Québec) Canada
J1K 2R1

Email


© Richard St-Denis. All rights reserved. Revised: September 27, 2023.

Web site designed by par Jasmin Auger, 2013.