EDIT
    • English
    • magyar
  • English 
    • English
    • magyar
  • Login
Search 
  •   DSpace Home
  • Search
  •   DSpace Home
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine results.

Now showing items 1-3 of 3

  • Ordering:
  • Importance
  • Title ascendent
  • Title descentdant
  • Issue date ascendent
  • Issue date descendant
  • One page results:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
P4 programok helyességvizsgálata

Title: P4 programok helyességvizsgálata 
Author: Nagy, Mátyás
Date: 2017-12-15
Submitted: 2018-02-15
Nagy, Mátyás (2017-12-15)
A P4 nyelv viszgálata egy modellellenőrző segítségével
NS-3 szimulátor kiegészítése P4 programozható switch támogatással

Title: NS-3 szimulátor kiegészítése P4 programozható switch támogatással 
Author: Rosanics, Márton
Date: 2018-05
Submitted: 2018-07-23
Rosanics, Márton (2018-05)
NS-3 kiegészítése egy új modullal, mely interfészt teremt P4 nyelven íródott (majd ELTE P4 fordítóprogrammal C nyelvre lefordított) switch-csek és a szimulátor között.
Formális szemantika megadása a P4 programozási nyelvhez

Title: Formális szemantika megadása a P4 programozási nyelvhez 
Author: Brunner, Márton
Date: 2017-12-15
Submitted: 2018-02-15
Brunner, Márton (2017-12-15)
Diplomamunkámban a P4 programozási nyelv szemantikáját és a K keretrendszer verifikációs eszközeit felhasználva programtulajdonságokat specifikáltam és ellenőriztem.

DSpace software copyright © 2002-2013  Duraspace
Contact Us | Send Feedback | Impressum
Theme by 
@mire NV
 

 

Browse

All of DSpaceCommunities & CollectionsIssue DateAuthorsTitlesSubjectsSubmit Date

My Account

LoginRegister

Discover

AuthorNagy, Mátyás (1)Rosanics, Márton (1)Subject
P4 (3)
interface (1)modellellenőrzés (1)networks (1)NS-3 (1)NuSMV (1)switch (1)szemantika (1)verifikáció (1)... MoreIssue date2017 (2)2018 (1)

DSpace software copyright © 2002-2013  Duraspace
Contact Us | Send Feedback | Impressum
Theme by 
@mire NV