scientific article; zbMATH DE number 1069484

zbMath0880.68085MaRDI QIDQ4356436

Arne Skou, Henrik Ejersbo Jensen, Kim Guldstrand Larsen

Publication date: 1 October 1997

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

zbMATH Keywords

collision avoidance protocolUPPAAL tool

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Automated repair for timed systems ⋮ The power of reachability testing for timed automata ⋮ Efficient verification of distributed real-time systems with broadcasting behaviors ⋮ Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal

Uses Software

• Uppaal

This page was built for publication: