Author Details

User

Notifications

View
Subscribe / Unsubscribe

Conference Content Search
Conference Information

Browse

Font Size

The Workshops are held with the assistance of:

USATU

KIT

HAS

TUWIEN

SKFU

URIIT

IDUSTRY 4.0

NTSM

Atlantis Press

scienceindex

scholar

Information

Author Details

Ding, K., Technische Universität Dresden, Germany

Computer Science and Information Technologies 2018 - Volume 1. Session 3 Artificial Intelligence Tools
The Efficiency Comparison of the PRISM and Storm Probabilistic Model Checkers for Error Propagation Analysis Tasks
Abstract PDF
Computer Science and Information Technologies 2018 - Volume 1. Session 2 Information Technology
Improved Stochastic Control Flow Model for LLVM-based Software Reliability Analysis
Abstract PDF

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 License.