scientific article; zbMATH DE number 1744963
From MaRDI portal
Publication:4531757
zbMath0985.68665MaRDI QIDQ4531757
Alice Ann Miller, Muffy Calder
Publication date: 23 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570143
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributed systemsfeature interactioncommunicating processesformal modellingtelecommunications servicesanalysis and reasoning techniquesPromela/SPIN
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Feature interaction detection by pairwise analysis of LTL properties -- A case study ⋮ An automatic abstraction technique for verifying featured, parameterised systems
Uses Software
This page was built for publication:
