scientific article; zbMATH DE number 1852149

zbMath1002.68513MaRDI QIDQ4787215

Dirk Beyer

Publication date: 9 January 2003

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

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

zbMATH Keywords

real-time systemsformal verificationtimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Uses Software

• Kronos
• Rabbit
• Uppaal

This page was built for publication: