|
1 |
An Analysis of the Differences between Unit and Integration Tests
Trautsch, Fabian. - Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2019
|
|
|
|
2 |
Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
Gabriel, Karsten. - Berlin : Technische Universität Berlin, 2014
|
|
|
|
3 |
Privacy-aware dynamic coalitions : a formal framework
Sarrouh, Nadim. - Berlin : Technische Universität Berlin, 2014
|
|
|
|
4 |
Testing hybrid systems with TTCN-3
Großmann, Jürgen. - Berlin : Technische Universität Berlin, 2014
|
|
|
|
5 |
On-Demand Monitoring: a Monitoring Paradigm for Traffic Flows in Multi-Service Self-Managing Networks
Chaparadza, Ranganai. - Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2012
|
|
|
|
6 |
A Methodology for Automated Interoperability Testing of Healthcare Information Systems based on an Actor Emulation Approach
Vega, Diana-Elena. - Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2011
|
|
|
|
7 |
A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems
Vouffo Feudjio, Alain-Georges. - Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2011
|
|
|
|
8 |
Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies
Höfig, Edzard. - Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2011
|
|
|
9 |
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
Schieferdecker, Ina. - München : Oldenbourg, 1995
|
|
Administration
