Yazar

boudewijn r haverkort

17 cilt bulundu.

Cilt sonuçları

Performance of Computer Communication Systems

Boudewijn R. Haverkort · Wiley

528 sayfa · 1998-12-04

Computers

Computer Performance Evaluation. Modelling Techniques and Tools

Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith · Yayınevi bilinmiyor

404 sayfa · 2014-01-15

Kategori yok

ComputersComputer Performance Evaluation. Modelling Techniques and ToolsBoudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith

Computer Performance Evaluation. Modelling Techniques and Tools

Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith · Springer

390 sayfa · 2000-03-13

Computers

CiltQuantitative Aspects of Embedded SystemsBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele

Quantitative Aspects of Embedded Systems

Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele · Yayınevi bilinmiyor

Sayfa sayısı yok · 2007

Kategori yok

CiltPDL, the PROPER Description LanguageBoudewijn R. Haverkort

PDL, the PROPER Description Language

Boudewijn R. Haverkort · Yayınevi bilinmiyor

35 sayfa · 1988

Kategori yok

CiltUsing Dynamic Queueing Networks as a Tool for Specifying Performability ModelsBoudewijn R. Haverkort, Ignas G. Niemegeers

Using Dynamic Queueing Networks as a Tool for Specifying Performability Models

Boudewijn R. Haverkort, Ignas G. Niemegeers · Yayınevi bilinmiyor

18 sayfa · 1989

Kategori yok

CiltExtended Performability Modelling Using Dynamic Queueing NetworksBoudewijn R. Haverkort, Ignas G. Niemegeers

Extended Performability Modelling Using Dynamic Queueing Networks

Boudewijn R. Haverkort, Ignas G. Niemegeers · Yayınevi bilinmiyor

24 sayfa · 1989

Kategori yok

CiltUsing Dynamic Queueing Networks for Performability ModellingBoudewijn R. Haverkort, Ignas G. Niemegeers

Using Dynamic Queueing Networks for Performability Modelling

Boudewijn R. Haverkort, Ignas G. Niemegeers · Yayınevi bilinmiyor

17 sayfa · 1990

Kategori yok

CiltFormal Performability Evaluation of Architectural Models of Critical InfrastructuresBilinmeyen yazar

Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Bilinmeyen yazar · Yayınevi bilinmiyor

Sayfa sayısı yok · 2011

Kategori yok

CiltA Survey of Performability Modelling ToolsBoudewijn R. Haverkort, Ignas G. Niemegeers

A Survey of Performability Modelling Tools

Boudewijn R. Haverkort, Ignas G. Niemegeers · Yayınevi bilinmiyor

12 sayfa · 1989

Kategori yok

CiltSimulations of Failure Prone Token Rings Using Fault Injection SimulationAad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers

Simulations of Failure Prone Token Rings Using Fault Injection Simulation

Aad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers · Yayınevi bilinmiyor

23 sayfa · 1990

Kategori yok

Electronic data processingPerformance and Dependability Techniques and ToolsBoudewijn R. Haverkort, Rick Harper

Performance and Dependability Techniques and Tools

Boudewijn R. Haverkort, Rick Harper · Yayınevi bilinmiyor

261 sayfa · 2001

Electronic data processing

CiltArchitectural Dependability Evaluation with ArcadeHichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Ida Antoinette Stoelinga

Architectural Dependability Evaluation with Arcade

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Ida Antoinette Stoelinga · Yayınevi bilinmiyor

Sayfa sayısı yok · 2011

Kategori yok

CiltDyQNtoolBoudewijn R. Haverkort, Paul Velthuyzen van Zanten

DyQNtool

Boudewijn R. Haverkort, Paul Velthuyzen van Zanten · Yayınevi bilinmiyor

20 sayfa · 1990

Kategori yok

CiltTransaction Throughput in Distributed SystemsBoudewijn R. Haverkort, Ignas G. Niemegeers

Transaction Throughput in Distributed Systems

Boudewijn R. Haverkort, Ignas G. Niemegeers · Yayınevi bilinmiyor

15 sayfa · 1989

Kategori yok

CiltEvaluating Repair Strategies for a Water-Treatment Facility Using ArcadeBoudewijn R. Haverkort, Matthias Kuntz, Anne Remke, Stephan Roolvink, Mariëlle Ida Antoinette Stoelinga

Evaluating Repair Strategies for a Water-Treatment Facility Using Arcade

Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, Stephan Roolvink, Mariëlle Ida Antoinette Stoelinga · Yayınevi bilinmiyor

Sayfa sayısı yok · 2011

Kategori yok

CiltProbabilistic Verification of Architectural Software Models Using SoftArc and PrismBoudewijn R. Haverkort, Matthias Kuntz, Florian Leitner-Fischer, Anne Remke, Stephan Roolvink

Probabilistic Verification of Architectural Software Models Using SoftArc and Prism

Boudewijn R. Haverkort, Matthias Kuntz, Florian Leitner-Fischer, Anne Remke, Stephan Roolvink · Yayınevi bilinmiyor

Sayfa sayısı yok · 2011

Kategori yok