Článek ve sborníku konference

 
Švéda, M., Ryšavý, O., Matoušek, P.: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 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éda and Ondřej Ryšavý and Petr Matoušek},
   title = {Supporting Safe and Secure Networked System Design},
   pages = {22--23},
   booktitle = {Computer Aided Systems Theory (EUROCAST´11), 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?id=9483}
}