- Between syntax and semantics of resource oriented logic for IDSbehavior description
Details zum Objekt: Between syntax and semantics of resource oriented logic for IDSbehavior description
PDF
Struktur
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Beschreibung
- Titel:
- Group title:
- Verfasser: ; ;
- Thema und Schlagwörter: ; ; ;
- Herausgeber:
- Verlagsort:
- Datum:
- Bestandestyp:
- Format:
- Identifikation des Bestandes: oai:www.sbc.org.pl:309442
- Sprache:
- Bereich:
- Besitzen:
Das Objekt befindet sich in den Sammlungen:
Zusätzliche Informationen
- Erstellungsdatum: 2018-04-20
- Zuletzt geändert am: 2020-02-12
- Anzahl der Ansichten des Inhaltsobjekts: 41
- Sie können auch die Beschreibung des Objekts in diesen Formaten herunterladen: ;
- Historische Texterkennung:
Siehe auch
Testing of IDS model using several intrusion detection tools
Ersteller:Ennert, Michal; Chovancova, Eva; Dudlakova, Zuzana
Datum:2015
Typ:czasopismo
Linear logic in computer science
Ersteller:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie
Datum:2015
Typ:czasopismo
A categorical model of predicate linear logic
Ersteller:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Datum:2015
Typ:artykuł
Coalgebras for modelling observable behavior of programs
Ersteller:Steingartner William; Novitzká Valerie
Datum:2017
Typ:artykuł
