Under the slogan "Software, Technology and Systems (STS)", the institute combines fundamental research on descriptions and dependencies of software systems with practical issues and applications from both engineering and social sciences.
12.09.2022
International Journal on Software Tools for Technology Transfer
Bounded DBM-based clock state construction for timed automata in Uppaal
The article "Bounded DBM-based clock state construction for timed automata in Uppaal" by Sascha Lehmann and Sibylle Schupp has been accepted for publication in the International Journal on Software Tools for Technology Transfer (STTT).
