Zobrazeno 1 - 10
of 899
pro vyhledávání: '"Verification of computer systems"'
Autor:
Nishizaki, Shin-ya1 (AUTHOR) nisizaki@c.titech.ac.jp, Seki, Shinnosuke2 (AUTHOR)
Publikováno v:
New Generation Computing. Jul2022, Vol. 40 Issue 2, p399-402. 4p.
Autor:
Parno, Bryan1 (AUTHOR) parno@microsoft.com, Howell, Jon1 (AUTHOR) howell@microsoft.com, Gentry, Craig2 (AUTHOR) cbgentry@us.ibm.com, Raykova, Mariana3 (AUTHOR) mariana@cs.columbia.edu
Publikováno v:
Communications of the ACM. Feb2016, Vol. 59 Issue 2, p103-112. 10p. 2 Diagrams, 2 Charts, 2 Graphs.
Autor:
WALFISH, MICHAEL1 (AUTHOR) mwalfish@cs.nyu.edu, BLUMBERG, ANDREW J.2 (AUTHOR) blumberg@math.utexas.edu
Publikováno v:
Communications of the ACM. Feb2015, Vol. 58 Issue 2, p74-84. 11p. 1 Color Photograph, 1 Diagram, 4 Graphs.
Autor:
FISHER, MICHAEL1 mfisher@liverpool.ac.uk, DENNIS, LOUISE2 l.a.dennis@liverpool.ac.uk, WEBSTER, MATT3 matt@liverpool.ac.uk
Publikováno v:
Communications of the ACM. Sep2013, Vol. 56 Issue 9, p84-93. 10p. 1 Color Photograph, 1 Diagram.
Autor:
Berry, Daniel M.
Publikováno v:
Communications of the ACM. Dec2021, Vol. 64 Issue 12, p12-12. 1/4p.
Autor:
Solovyev, Alexey, Baranowski, Marek S., Briggs, Ian, Jacobsen, Charles, Rakamarić, Zvonimir, Gopalakrishnan, Ganesh
Publikováno v:
ACM Transactions on Programming Languages & Systems. Mar2019, Vol. 41 Issue 1, p1-39. 39p.
Publikováno v:
ACM Transactions on Programming Languages & Systems. Mar2019, Vol. 41 Issue 1, p1-38. 38p.
Publikováno v:
New Scientist. 10/9/2021, Vol. 251 Issue 3355, p56-56. 1/9p. 1 Color Photograph.
Autor:
Rocchetto, Marco1 marco.rocchetto@utrc.utc.com, Viganò, Luca2 luca.vigano@kcl.ac.uk, Volpe, Marco3 marco.volpe@inria.fr
Publikováno v:
Journal of Computer Security. 2017, Vol. 25 Issue 6, p463-510. 48p.
Autor:
Bhowmik, P.K.1 (AUTHOR) palashkumar.bhowmik@inl.gov, Sabharwall, P.1 (AUTHOR), Johnson, J.T.1 (AUTHOR), Retamales, M.E.T.1 (AUTHOR), Wang, C.1 (AUTHOR), O'Brien, J.E.1 (AUTHOR), Lietwiler, C.2 (AUTHOR), Wu, Q.3 (AUTHOR)
Publikováno v:
Nuclear Engineering & Design. Aug2024, Vol. 424, pN.PAG-N.PAG. 1p.