scientific article; zbMATH DE number 2011464

zbMath1032.68835MaRDI QIDQ4435361

Tse-Min Lin, Alan Burns

Publication date: 1 December 2003

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

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (1)

An engineering process for the verification of real-time systems

This page was built for publication: