Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Huuck, Ralf"'
Autor:
Huuck, Ralf
Publikováno v:
EPTCS 105, 2012, pp. 1-4
How to apply automated verification technology such as model checking and static program analysis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might
Externí odkaz:
http://arxiv.org/abs/1301.0037
Publikováno v:
EPTCS 102, 2012
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conference series is to bring together researchers and developers from both ac
Externí odkaz:
http://arxiv.org/abs/1211.5873
Autor:
Huuck, Ralf
Publikováno v:
In Electronic Notes in Theoretical Computer Science 18 January 2005 115:3-18
Publikováno v:
In IFAC Proceedings Volumes 2002 35(1):469-474
Publikováno v:
In IFAC Proceedings Volumes 2002 35(1):427-432
Publikováno v:
In European Journal of Control 2001 7(4):400-415
Publikováno v:
Electronic Notes in Theoretical Computer Science. 254:1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d978dc5d04a0a10ba66e5ab52a4b7397
https://doi.org/10.1016/j.entcs.2009.09.056
https://doi.org/10.1016/j.entcs.2009.09.056