scientific article; zbMATH DE number 1951185

zbMath1021.68503MaRDI QIDQ4413672

No author found.

Publication date: 21 July 2003

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

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Time-triggered runtime verification, Analysing neurobiological models using communicating automata, Play to Test

Uses Software

• Maude
• Korat
• Eraser
• JPAX
• AGEDIS