E-LIB Suche - Ergebnisse für: Brewka, Lukasz

1

The MODUS Approach to Formal Verification:

Brewka, Lukasz ; Soler, José ; Berger, Michael
Business Systems Research Journal. 5 (2014) 1 - p. 21-33 , 2014

Link: https://doi.org/10.2478/..

2

Integrated service resource reservation using queueing netw..:

Brewka, Lukasz ; Iversen, Villy Baek ; Kardaras, Georgios
IET Networks. 3 (2014) 1 - p. 16-21 , 2014

Link: https://doi.org/10.1049/..

3

Including 10-Gigabit-capable Passive Optical Network under ..:

Brewka, Lukasz ; Gavler, Anders ; Wessing, Henrik.
Fiber and Integrated Optics. 31 (2012) 2 - p. 133-146 , 2012

Link: https://doi.org/10.1080/..

4

The MODUS Approach to Formal Verification:

Brewka, Lukasz ; Soler, José ; Berger, Michael
https://hrcak.srce.hr/ojs/index.php/bsr/article/view/12517/6137. , 2014

Link: https://hrcak.srce.hr/oj..

5

The MODUS Approach to Formal Verification:

Brewka Lukasz ; Soler José ; Berger Michael
https://doi.org/10.2478/bsrj-2014-0002. , 2014

Link: https://doi.org/10.2478/..

6

The MODUS approach to formal verification:

Brewka, Lukasz Jerzy ; Soler, José ; Berger, Michael Stübert
https://orbit.dtu.dk/en/publications/1bd34e41-5bf1-4559-a40e-81f89a5f379a. , 2014

Link: https://orbit.dtu.dk/en/..

7

End to End Inter-domain Quality of Service Provisioning:

Brewka, Lukasz Jerzy
Brewka , L J 2011 , End to End Inter-domain Quality of Service Provisioning . Technical University of Denmark , Kgs. Lyngby .. , 2011

Link: https://orbit.dtu.dk/en/..

8

Signaling performance of UPnP QoS architecture:

Brewka, Lukasz Jerzy ; Wessing, Henrik ; Dittmann, Lars
https://orbit.dtu.dk/en/publications/d9e3846a-ffd4-4bb0-9ddf-ab10997b192a. , 2009

Link: https://orbit.dtu.dk/en/..

9

Next generation network based carrier ethernet test bed for..:

Fu, Rong ; Berger, Michael Stübert ; Zheng, Yu..
https://orbit.dtu.dk/en/publications/116de1aa-1f2b-45ca-b18f-4f3ed0621866. , 2009

Link: https://orbit.dtu.dk/en/..

10

Integrated service resource reservation using queueing netw..:

Lukasz Brewka ; Villy Baek Iversen ; Georgios Kardaras
https://doi.org/10.1049/iet-net.2013.0121. , 2014

Link: https://doi.org/10.1049/..