Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 1/2021

Ausgabe 1/2021

SPIoT 2019

Inhaltsverzeichnis ( 7 Artikel )

06.11.2019 | General | Ausgabe 1/2021

Learning Moore machines from input–output traces

Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis

26.10.2019 | General | Ausgabe 1/2021 Open Access

Static generation of UML sequence diagrams

Chris Alvin, Brian Peterson, Supratik Mukhopadhyay

24.07.2019 | Regular Paper | Ausgabe 1/2021

Detecting multiphase linear ranking functions for single-path linear-constraint loops

Yue Yuan, Yi Li, Wenchang Shi

03.11.2020 | Introduction | Ausgabe 1/2021

Masterminding change by combining secure system design with security risk assessment

Florian Kammüller, Axel Legay, Stefano Schivo

24.11.2020 | Foundation for Mastering Change | Ausgabe 1/2021 Open Access

Static analysis for discovering IoT vulnerabilities

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto

07.01.2021 | Foundation for Mastering Change | Ausgabe 1/2021

ADTLang: a programming language approach to attack defense trees

René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen

27.11.2020 | Foundation for Mastering Change | Ausgabe 1/2021

Graph-based technique for survivability assessment and optimization of IoT applications

Vladimir Shakhov, Insoo Koo

Aktuelle Ausgaben

Premium Partner