Go to main menuGo to search engineSkip to content

Object's details: Between syntax and semantics of resource oriented logic for IDSbehavior description

PDF
Go to the whole object's collection
Structure
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
See the description of publication group

Description

Object is located in the collections:

Additional information

  • Creation date: 2018-04-20
  • Last modification date: 2020-02-12
  • Content object's number of views: 41
  • You could also download the object's description in these formats:
    RDF
     ;
    OAI-PMH
  • Historical Text Recognition:
    start transcribing the object

See also

Testing of IDS model using several intrusion detection tools
Creator:Ennert, Michal; Chovancova, Eva; Dudlakova, Zuzana
Date:2015
Type:czasopismo
Linear logic in computer science
Creator:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie
Date:2015
Type:czasopismo
A categorical model of predicate linear logic
Creator:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Date:2015
Type:artykuł
Coalgebras for modelling observable behavior of programs
Creator:Steingartner William; Novitzká Valerie
Date:2017
Type:artykuł

Information on financing

The project is co-financed by the European Union from the European Regional Development Fund under the Regional Operational Program of the Silesian Voivodeship for the years 2014 - 2020 Silesian Digitarium. Digitization and access to the resources of cultural institutions of the Silesian Voivodeship.

Partner1
Partner1
We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy