Detail publikace

AVISPA: Towards Practical Verification of Communication Properties

OČENÁŠEK Pavel a ŠVÉDA Miroslav. AVISPA: Towards Practical Verification of Communication Properties. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, roč. 2009. Ostrava: IFAC, 2009, s. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
Název česky
AVISPA: Praktické ověřování komunikačních vlastností
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Tento článek se zabývá verifikací komunikačních vlastností v jazyce AVISPA. Hlavním obsahem příspěvku je prezentace nástroje, jeho komponent a hlavních rysů jazyka HLPSL.

Rok
2009
Strany
153-156
Časopis
IFAC-PapersOnLine, roč. 2009, č. 2, ISSN 1474-6670
Sborník
Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems
Řada
Programmable Devices and Embedded Systems, Volume # 9 | Part# 1
Konference
IFAC Workshop on Programmable Devices and Embedded Systems, Rožnov pod Radhoštěm, CZ
ISBN
978-3-902661-41-8
Vydavatel
IFAC
Místo
Ostrava, CZ
DOI
BibTeX
@INPROCEEDINGS{FITPUB8809,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Miroslav \v{S}v\'{e}da",
   title = "AVISPA: Towards Practical Verification of Communication Properties",
   pages = "153--156",
   booktitle = "Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems",
   series = "Programmable Devices and Embedded Systems, Volume \# 9 | Part\# 1",
   journal = "IFAC-PapersOnLine",
   volume = 2009,
   number = 2,
   year = 2009,
   location = "Ostrava, CZ",
   publisher = "IFAC",
   ISBN = "978-3-902661-41-8",
   ISSN = "1474-6670",
   doi = "10.3182/20090210-3-CZ-4002.00030",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8809"
}
Nahoru