( en | de | ru )

 

Disambiguierung von "Romanovsky, Alexander B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Supporting Reuse in Event B Development: Modularisation Approach.

, , , , , , und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 174-188. Springer, (2010)

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 looming fault tolerance software crisis?. ACM SIGSOFT Softw. Eng. Notes, 32 (2): 1-4 (2007)Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report., , , , , , , , , und . ACM SIGSOFT Softw. Eng. Notes, 29 (5): 1-10 (2004)A distributed coordinated atomic action scheme., und . Comput. Syst. Sci. Eng., 16 (4): 237-247 (2001)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 study of atomic action schemes intended for standard Ada.. J. Syst. Softw., 43 (1): 29-44 (1998)