BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × United Kingdom
Collaborated with:
B.Dobbing J.Brygier
Talks about:
ada (4) execut (3) safeti (2) critic (2) applic (2) safe (2) toolset (1) realtim (1) certif (1) smart (1)

Person: Marc Richard-Foy

DBLP DBLP: Richard-Foy:Marc

Contributed to:

Ada-Europe 19971997
Ada-Europe 19951995
Ada-Europe 19931993

Wrote 3 papers:

AdaEurope-1997-DobbingR #ada #named #realtime #tool support
T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.
AdaEurope-1995-Richard-Foy #ada #safety
Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.
AdaEurope-1993-BrygierR #ada #certification #realtime #safety
Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.