( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The atomic manifesto: a story in four quarks.

, , , , , , , , , , , , и . SIGMOD Record, 34 (1): 63-69 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alexander B Rossino

Alexander B Lorani

Alexander B Simokat

Alexander B E Minidis

B Klösgen

 

Другие публикации лиц с тем же именем

A distributed coordinated atomic action scheme., и . Comput. Syst. Sci. Eng., 16 (4): 237-247 (2001)Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report., , , , , , , , , и . 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., , и . IEEE Trans. Reliab., 70 (2): 676-691 (2021)Preface., , , и . 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)., , и . NII Shonan Meet. Rep., (2018)Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14)., и . NII Shonan Meet. Rep., (2014)Guest Editors' Introduction - Current Trends in Exception Handling., , и . IEEE Trans. Software Eng., 26 (10): 921-922 (2000)A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems., , , , , и . Formal Aspects Comput., 35 (1): 3:1 (марта 2023)