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., DIFS (FIT)
Říha Tomáš, Bc.
Říha Tomáš, Bc.
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