Autor der Publikation

Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.

, , , , und . FMICS, Volume 14290 von Lecture Notes in Computer Science, Seite 205-223. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees., , , , und . CoRR, (2019)How much is Big Data? A Classification Framework for IT Projects and Technologies., , , und . AMCIS, Association for Information Systems, (2016)Examining the Interplay Between Big Data and Microservices - A Bibliometric Review., , , , und . Complex Syst. Informatics Model. Q., (2021)Discussing Relations Between Dynamic Business Environments and Big Data Analytics., , , und . Complex Syst. Informatics Model. Q., (2020)Applying Multi-Criteria Decision-Making for the Selection of Big Data Technologies., , , und . AMCIS, Association for Information Systems, (2021)Classifying Big Data Taxonomies: A Systematic Literature Review., , , , , , , , und . IoTBDS, Seite 267-278. SCITEPRESS, (2020)Towards the Application of Test Driven Development in Big Data Engineering., , , und . ICIT, Seite 163-167. IEEE, (2023)Exploring the Test Driven Development of a Fraud Detection Application using the Google Cloud Platform., , , und . KDIR, Seite 83-94. SCITEPRESS, (2022)A Process Model for Test Driven Development in the Big Data Domain., , , und . KDIR, Seite 109-118. SCITEPRESS, (2022)Scalable Reliability Analysis by Lazy Verification., , , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2021)