BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
Collaborated with:
M.v.d.Brand A.P.v.d.Meer A.Serebrenik F. F. H. Reijnen J.M.v.d.Mortel-Fronczak M.A.Reniers Jacobus E. Rooda
Talks about:
supervisori (1) confluenc (1) specifi (1) respons (1) languag (1) control (1) checker (1) specif (1) report (1) formal (1)

Person: Albert T. Hofkamp

DBLP DBLP: Hofkamp:Albert_T=

Contributed to:

LDTA 20102010
CASE 20192019

Wrote 2 papers:

LDTA-2010-BrandMSH #case study #domain-specific language #experience
Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
CASE-2019-ReijnenHMRR #confluence #finite
Finite Response and Confluence of State-based Supervisory Controllers (FFHR, ATH, JMvdMF, MAR, JER), pp. 509–516.

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.