Opis

• Tytuł:
  Probability timed automata for investigating communication processes
• Twórca:
  Piech, Henryk;
  Grodzki, Grzegorz
• Współtwórca:
  Korbicz, Józef (1951- ) (Red.);
  Uciński, Dariusz (Red.)
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Biblioteka Uniwersytetu Zielonogórskiego
• Data:
  2015
• Typ:
  artykuł
• Język:
  angielski
• Źródło:
  AMCS, volume 25, number 2 (2015);
  https://www.amcs.uz.zgora.pl/?action=papers&issue=61
• Wydawca:
  Zielona Góra: Uniwersytet Zielonogórski
• Temat i słowa kluczowe:
  protocol logic;
  probabilistic timed automata;
  communication security
• Identyfikator:
  10.1515/amcs-2015-0031
• Dostawca danych:
  Zielonogórska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy