${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$ : A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$ (Englisch)
Freier Zugriff
- Neue Suche nach: Merayo, Mercedes G.
- Neue Suche nach: Núñez, Manuel
- Neue Suche nach: Rodríguez, Ismael
- Neue Suche nach: Merayo, Mercedes G.
- Neue Suche nach: Núñez, Manuel
- Neue Suche nach: Rodríguez, Ismael
In:
Testing of Software and Communicating Systems
3
;
86-102
;
2008
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$ : A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$
-
Beteiligte:
-
Erschienen in:Testing of Software and Communicating Systems , 3 ; 86-102Lecture Notes in Computer Science ; 5047, 3 ; 86-102
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2008
-
Format / Umfang:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
All-IP Based Ultra 3G Network/Service Development in a Competitive MarketYasuda, Yutaka et al. | 2008
- 5
-
Models and Testing – A Recipe for Improved Effectiveness?Baker, Paul et al. | 2008
- 7
-
Runtime Verification of C ProgramsHavelund, Klaus et al. | 2008
- 23
-
Test Construction for Mathematical FunctionsKuliamin, Victor et al. | 2008
- 38
-
Model-Based Testing Service on the WebJääskeläinen, Antti / Katara, Mika / Kervinen, Antti / Heiskanen, Henri / Maunumaa, Mika / Pääkkönen, Tuula et al. | 2008
- 54
-
Using Disparity to Enhance Test Generation for Hybrid SystemsDang, Thao / Nahhal, Tarik et al. | 2008
- 70
-
Modeling Property Based Stream Templates with TTCN-3Grossmann, Juergen / Schieferdecker, Ina / Wiesbrock, Hans-Werner et al. | 2008
- 86
-
${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$ : A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$Merayo, Mercedes G. / Núñez, Manuel / Rodríguez, Ismael et al. | 2008
- 103
-
Model-Based Firewall Conformance TestingBrucker, Achim D. / Brügger, Lukas / Wolff, Burkhart et al. | 2008
- 119
-
VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure ProtectionShu, Guoqiang / Chen, Dongluo / Liu, Zhijun / Li, Na / Sang, Lifeng / Lee, David et al. | 2008
- 135
-
Performance Test Design Process and Its Implementation Patterns for Multi-services SystemsDin, George / Schieferdecker, Ina / Petre, Razvan et al. | 2008
- 153
-
Generating Checking Sequences for Partial Reduced Finite State MachinesSimão, Adenilso / Petrenko, Alexandre et al. | 2008
- 169
-
Testing Systems Specified as Partial Order Input/Output AutomataBochmann, Gregor v. / Haar, Stefan / Jard, Claude / Jourdan, Guy-Vincent et al. | 2008
- 184
-
Test Purpose Concretization through Symbolic Action RefinementFaivre, Alain / Gaston, Christophe / Gall, Pascale / Touil, Assia et al. | 2008
- 200
-
Implementation Relations for the Distributed Test ArchitectureHierons, Robert M. / Merayo, Mercedes G. / Núñez, Manuel et al. | 2008
- 216
-
Modular System Verification by Inference, Testing and Reachability AnalysisGroz, Roland / Li, Keqin / Petrenko, Alexandre / Shahbaz, Muzammil et al. | 2008
- 234
-
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage AnalysisWang, Farn / Huang, Geng-Dian et al. | 2008
- 250
-
Applying Model-Based Testing to HTML Rendering Engines – A Case StudyCalamé, Jens R. / Pol, Jaco et al. | 2008
- 266
-
Model-Based Generation of Testbeds for Web ServicesBertolino, Antonia / Angelis, Guglielmo / Frantzen, Lars / Polini, Andrea et al. | 2008
- 283
-
Real-Time Testing with TTCN-3Serbanescu, Diana Alina / Molovata, Victoria / Din, George / Schieferdecker, Ina / Radusch, Ilja et al. | 2008