Autor der Publikation

Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.

, , , und . ICCSA (4), Volume 9158 von Lecture Notes in Computer Science, Seite 612-627. Springer, (2015)

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

A Markovian Performance Model for Resource Allocation Scheduling on GNU/Linux., , , , , , und . ISPA Workshops, Volume 4331 von Lecture Notes in Computer Science, Seite 844-853. Springer, (2006)An Empirical Study on the Knowledge Management Practice in Software Testing., , , , , und . CIbSE, Seite 29-42. Curran Associates, (2018)H-Switch Cover: a new test criterion to generate test case from finite state machines., , und . Softw. Qual. J., 25 (2): 373-405 (2017)Performance evaluation based on system modeling using Statecharts extensions., , , , , , , und . Simul. Model. Pract. Theory, 13 (7): 584-618 (2005)An Optimization Model for Allocation of Network Users in Macro-femto Networks - An Approach based on Energy Efficiency and Quality of Service., , , , , und . SMARTGREENS, Seite 209-214. SciTePress, (2012)Strategies for improving the modeling and interpretability of Bayesian networks., , , , , , und . Data Knowl. Eng., 63 (1): 91-107 (2007)Using Natural Language Processing to Build Graphical Abstracts to be used in Studies Selection Activity in Secondary Studies., , , , , , und . SEAA, Seite 1-8. IEEE, (2021)Adopting Fuzzy Technique to Save Energy in Smart Home Control System., , , , , und . UNet, Volume 10542 von Lecture Notes in Computer Science, Seite 345-356. Springer, (2017)Reducing efforts of software engineering systematic literature reviews updates using text classification., , , , , und . Inf. Softw. Technol., (2020)Evaluation of Test Criteria for Space Application Software Modeling in Statecharts., , , und . CIMCA/IAWTIC/ISE, Seite 157-162. IEEE Computer Society, (2008)