Result Details
Review and Application of a Tool for Protocol Verification
OČENÁŠEK, P.; ŘÍHA, T. Review and Application of a Tool for Protocol Verification. Brno: 2009. p. 1-5.
Type
other unclassified results
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), DIFS (FIT)
Říha Tomáš, Bc., FIT (FIT)
Říha Tomáš, Bc., FIT (FIT)
Published
2009
Pages
1–5
Place
Brno
BibTeX
@misc{BUT192683,
author="Pavel {Očenášek} and Tomáš {Říha}",
title="Review and Application of a Tool for Protocol Verification",
year="2009",
pages="1--5",
address="Brno",
note="Other unclassified results"
}
Projects
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments