( en | de | ru )

 

Disambiguierung von "Romanovsky, Alexander B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalisation-Driven Development of Safety-Critical Systems.

, , , und . HASE, Seite 165-172. IEEE Computer Society, (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.

Alexander B Rossino

Alexander B Lorani

Alexander B Simokat

Alexander B E Minidis

B Wiederanders

 

Weitere Publikationen von Autoren mit dem selben Namen

A distributed coordinated atomic action scheme., und . Comput. Syst. Sci. Eng., 16 (4): 237-247 (2001)Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report., , , , , , , , , und . ACM SIGSOFT Softw. Eng. Notes, 29 (5): 1-10 (2004)A looming fault tolerance software crisis?. ACM SIGSOFT Softw. Eng. Notes, 32 (2): 1-4 (2007)About Conversations for Concurrent OO Languages.. ACM SIGPLAN Notices, 29 (9): 17-21 (1994)Mutation Testing for Rule-Based Verification of Railway Signaling Data., , und . IEEE Trans. Reliab., 70 (2): 676-691 (2021)Preface., , , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16)., , und . NII Shonan Meet. Rep., (2018)Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14)., und . NII Shonan Meet. Rep., (2014)Guest Editors' Introduction - Current Trends in Exception Handling., , und . IEEE Trans. Software Eng., 26 (10): 921-922 (2000)A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems., , , , , und . Formal Aspects Comput., 35 (1): 3:1 (März 2023)