scientific article; zbMATH DE number 2143087
From MaRDI portal
Publication:4654724
zbMath1088.68625MaRDI QIDQ4654724
Paul Pettersson, Hongyan Sun, Elena Fersman, Tobias Amnell, Wang Yi
Publication date: 8 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
On Implementable Timed Automata ⋮ Schedulability analysis of fixed-priority systems using timed automata ⋮ Predictable real-time software synthesis ⋮ Towards verification of computation orchestration ⋮ Robust safety of timed automata
Uses Software
This page was built for publication:
