Detail výsledku

Protocol Proving and Model-Checking: A First-Look Experience

MATOUŠEK, P.; RÁB, J.; VÝŠEK, P. Protocol Proving and Model-Checking: A First-Look Experience. IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000. p. 71-75. ISBN: 1-85-769121-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A., FEKT (FEKT)
Ráb Jaroslav, Ing., FEKT (FEKT)
Výšek Pavel, Ing., FEKT (FEKT)
Klíčová slova

protocol, verification, model checking, formal methods

URL
Rok
2000
Strany
71–75
Sborník
IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
7th IEEE International Conference and Workshop ECBS'2000
ISBN
1-85-769121-0
Vydavatel
unknown
Místo
Edinburgh
BibTeX 
@inproceedings{BUT193885,
  author="Petr {Matoušek} and Jaroslav {Ráb} and Pavel {Výšek}",
  title="Protocol Proving and Model-Checking: A First-Look Experience",
  booktitle="IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2000",
  pages="71--75",
  publisher="unknown",
  address="Edinburgh",
  isbn="1-85-769121-0",
  url="http://www.fit.vutbr.cz/~matousp/doc/2000/edin00-slides.ps"
}
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru