Coarse-granular model checking in practice

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2057 LNCS, Issue , 2001, Pages 304-311

  Steffen, Bernhard ^a,b   Margaria, Tiziana ^a,b   Braun, Volker ^a,b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b MetaFrame Technologies   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

QUALITY OF SERVICE;

BASED MODELLING; CONSISTENCY CHECKING; GRANULAR MODELING; ITERATIVE MODEL; SPECIFIC KNOWLEDGE; SPECIFIC PROPERTIES; TEMPORAL QUALITY OF SERVICE; TERMS OF SERVICES;

MODEL CHECKING;

EID: 84894627529     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45139-0_20     Document Type: Conference Paper

References (3)

1. O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, H.-D. Ide: Library-based Design and Consistency Checking of System-level Industrial Test Cases, Proc. FASE 2001, Genova (Italy), April 2001, LNCS 2029, Springer Verlag, 2001.
2. B. Steffen, T. Margaria: MetaFrame in Practice: Design of Intelligent Network Services, Lecture Notes in Computer Science 1710, pp. 390-416, 1999.
3. B. Steffen, T. Margaria, V. Braun: Personalized Electronic Commerce Services, IFIP WG 7.3 8th Int. Conference on Telecommunication Systems Modeling and Analysis, March 9-12, 2000, Nashville, Tennessee, USA.