( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.

, , и . FTSCS, том 596 из Communications in Computer and Information Science, стр. 172-186. Springer, (2015)

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.

Stephen Armstrong

Django Armstrong

Robert C Cauthorn

Robert C Holub

Alasdair Armstrong

 

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

Algorithmic Input Generation for More Effective Software Testing., , , , , и . COMPSAC, стр. 1708-1715. IEEE, (2022)Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony., , , и . FTXS@SC, стр. 1-10. IEEE, (2020)A Component Architecture for High-Performance Scientific Computing., , , , , , , , , и 16 other автор(ы). Int. J. High Perform. Comput. Appl., 20 (2): 163-202 (2006)Physics-Based Checksums for Silent-Error Detection in PDE Solvers., , и . Euro-Par Workshops, том 11997 из Lecture Notes in Computer Science, стр. 681-693. Springer, (2019)A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults., , , , , и . ICCS, том 80 из Procedia Computer Science, стр. 1917-1926. Elsevier, (2016)Lilith: Scalable Execution of User Code for Distributed Computing., , , и . HPDC, стр. 305-314. IEEE Computer Society, (1997)Refinement and Verification of Responsive Control Systems., , , , , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 272-277. Springer, (2020)Characterizing short-term stability for Boolean networks over any distribution of transfer functions., , , , и . CoRR, (2014)Formal verification and validation of run-to-completion style state charts using Event-B., , , , , и . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)Q: A Sound Verification Framework for Statecharts and Their Implementations., , , , , , , и . FTSCS, стр. 16-26. ACM, (2022)