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 × Belgium
1 × United Kingdom
Collaborated with:
C.J.Fidge M.Utting I.J.Hayes
Talks about:
schedul (2) time (2) real (2) interact (1) program (1) verifi (1) theori (1) integr (1) simpl (1) refin (1)

Person: Peter Kearney

DBLP DBLP: Kearney:Peter

Contributed to:

FME 19961996
CAV 19951995

Wrote 2 papers:

FME-1996-FidgeUKH #realtime #refinement #scheduling
Integrating Real-Time Scheduling Theory and Program Refinement (CJF, MU, PK, IJH), pp. 327–346.
CAV-1995-FidgeKU #realtime #verification
Interactively Verifying a Simple Real-time Scheduler (CJF, PK, MU), pp. 395–408.

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.