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 × Austria
Collaborated with:
L.Pike A.Goodloe
Talks about:
protocol (2) parameter (1) haskel (1) experi (1) biphas (1) verif (1) embed (1) time (1) test (1) roll (1)

Person: Geoffrey M. Brown

DBLP DBLP: Brown:Geoffrey_M=

Contributed to:

TACAS 20062006
Haskell 20092009

Wrote 2 papers:

TACAS-2006-BrownP #protocol #verification
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols (GMB, LP), pp. 58–72.
Haskell-2009-PikeBG #embedded #experience #haskell #protocol #realtime
Roll your own test bed for embedded real-time protocols: a haskell experience (LP, GMB, AG), pp. 61–68.

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.