Článek ve sborníku konference

ŠVÉDA Miroslav, RYŠAVÝ Ondřej a MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 22-23. ISBN 978-84-693-9560-8.
Jazyk publikace:angličtina
Název publikace:Supporting Safe and Secure Networked System Design
Název (cs):Podpora návrhu bezpečných a zabezpečených síťových systémů
Strany:22-23
Sborník:Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts
Konference:Thirteen International Conference On Computer Aided Systems Theory
Místo vydání:Las Palmas de Gran Canaria, ES
Rok:2011
ISBN:978-84-693-9560-8
Vydavatel:Universidad de Las Palmas de Gran Canaria
Klíčová slova
Networked applications design support, TCP/IP, changing network topology, model checking, SAT solver
Anotace
Příspěvek prezentuje principy podpory meta návrhu pro vývoj bezpečných a zabezpečených, na TCP/IP založených síťových aplikačních systémů.
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da and Ond{\v{r}}ej
	Ry{\v{s}}av{\'{y}} and Petr Matou{\v{s}}ek},
   title = {Supporting Safe and Secure Networked System Design},
   pages = {22--23},
   booktitle = {Computer Aided Systems Theory (EUROCAST11), Extended
	Abstracts},
   year = 2011,
   location = {Las Palmas de Gran Canaria, ES},
   publisher = {The Universidad de Las Palmas de Gran Canaria},
   ISBN = {978-84-693-9560-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9483}
}

Vaše IPv4 adresa: 3.227.233.6
Přepnout na https