- Between syntax and semantics of resource oriented logic for IDSbehavior description
Szczegóły obiektu: Between syntax and semantics of resource oriented logic for IDSbehavior description
Struktura
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Opis
- Tytuł:
- Tytuł publikacji grupowej:
- Autor: ; ;
- Temat i słowa kluczowe: ; ; ;
- Wydawca:
- Miejsce wydania:
- Data wydania:
- Typ zasobu:
- Format:
- Identyfikator zasobu: oai:reader.digitarium.pcss.pl:309442
- Język:
- Zakres:
- Lokalizacja oryginału:
Obiekt znajduje się w kolekcjach:
Zobacz także
Testing of IDS model using several intrusion detection tools
Twórca:Ennert, Michal; Chovancova, Eva; Dudlakova, Zuzana
Data:2015
Typ:czasopismo
Linear logic in computer science
Twórca:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie
Data:2015
Typ:czasopismo
A categorical model of predicate linear logic
Twórca:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Data:2015
Typ:artykuł
Coalgebras for modelling observable behavior of programs
Twórca:Steingartner William; Novitzká Valerie
Data:2017
Typ:artykuł