scientific article; zbMATH DE number 1982203

zbMath1023.68526MaRDI QIDQ4426378

Deepak D'Souza, Madhavan Mukund

Publication date: 16 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480151.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Checking conformance for time-constrained scenario-based specifications

Uses Software

• Java PathFinder
• Bandera
• LTL2BA

This page was built for publication: