Scientific methods to built High-Integrity software

Les Hatton

Scientific methods to built High-Integrity software

Les Hatton

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - Oct 2011
Externally published	Yes
Event	13th International Conference on Accelerator and Large Experimental Physics Control Systems - Grenoble, France Duration: 10 Oct 2011 → 14 Oct 2011

Conference

Conference	13th International Conference on Accelerator and Large Experimental Physics Control Systems
Period	10/10/11 → 14/10/11

Keywords

Computer science and informatics

Access to Document

http://icalepcs2011.esrf.eu/programme/Keynotes/TalkHatton

Cite this

@conference{d8487fbf9aa8428e99e10a0a240184af,

title = "Scientific methods to built High-Integrity software",

keywords = "Computer science and informatics",

author = "Les Hatton",

year = "2011",

month = oct,

language = "English",

note = "13th International Conference on Accelerator and Large Experimental Physics Control Systems ; Conference date: 10-10-2011 Through 14-10-2011",

}