Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to |
Stefan Kaalen; Mattias Nyberg; Carl Bondesson | ICCVE 2019 | 2019 | Visit |
Overview, Goals, Objectives
Descriptions and Videos
Overviews and links
Posters, Presentations, etc.
Title | Authors | Place of Publication | Year | Link |
Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to |
Stefan Kaalen; Mattias Nyberg; Carl Bondesson | ICCVE 2019 | 2019 | Visit |
PRYSTINE has received funding within the Electronic Components and Systems for European Leadership Joint Undertaking (ECSEL JU) in collaboration with the European Union's H2020 Framework Programme and National Authorities, under grant agreement n° 783190