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 × Finland
Collaborated with:
P.G.Larsen J.S.Fitzgerald
Talks about:
increment (1) distribut (1) develop (1) cardiac (1) system (1) model (1) time (1) real (1) pace (1) vdm (1)

Person: Hugo Daniel Macedo

DBLP DBLP: Macedo:Hugo_Daniel

Contributed to:

FM 20082008

Wrote 1 papers:

FM-2008-MacedoLF #development #distributed #incremental #realtime #using
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.

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.