scientific article

zbMATH Open0982.68819MaRDI QIDQ2779795

Martin Steffen, Natalia Sidorova

Publication date: 15 April 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2078/20780403

Title of this publication is not available (Why is that?)

zbMATH Keywords

SDL model checking, abstraction, compositional, bottom-up verification, verification case study

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (4)

On the testability of SDL specifications ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2779795)