( en | de | ru )

 

Disambiguierung von "Buzhinsky, Igor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking.

, , , und . ETFA, Seite 1-8. IEEE, (2016)

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.

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Smolitsch

Igor Popov

Igor Barsukov

Igor Pilawski

 

Weitere Publikationen von Autoren mit dem selben Namen

Plant model inference for closed-loop verification of control systems: Initial explorations., und . INDIN, Seite 736-739. IEEE, (2016)Combining closed-loop test generation and execution by means of model checking., und . CoRR, (2019)User-friendly formal specification languages - conclusions drawn from industrial experience on model checking., , , und . ETFA, Seite 1-8. IEEE, (2016)Oeritte: User-Friendly Counterexample Explanation for Model Checking., , , und . IEEE Access, (2021)Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes., , und . ISIE, Seite 669-674. IEEE, (2018)Metrics and methods for robustness evaluation of neural networks with generative models., , und . CoRR, (2020)Exact finite-state machine identification from scenarios and temporal properties., , und . Int. J. Softw. Tools Technol. Transf., 20 (1): 35-55 (2018)Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems., , und . Reliab. Eng. Syst. Saf., (2021)Search-based construction of finite-state machines with real-valued actions: new representation model., , , und . GECCO (Companion), Seite 199-200. ACM, (2013)Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties., und . IEEE Trans. Ind. Informatics, 13 (4): 1521-1530 (2017)