( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sequential Constructiveness, SCCharts for Safety-Critical Applications.

, , , , , , , , и . Software Engineering & Management, том P-239 из LNI, стр. 116-117. GI, (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.

Ben Smyth

Maureen Smyth

Padhraic Smyth

Michael Smyth

Adolf Steven

 

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

On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel., , , и . ACSD, стр. 95-104. IEEE Computer Society, (2018)Towards Object-Oriented Modeling in SCCharts., , и . FDL, стр. 1-8. IEEE, (2019)Executable Documentation: Test-First in Action., , , , , , и . ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 135-156. Springer, (2022)Augmenting State Models with Data Flow., , , и . Principles of Modeling, том 10760 из Lecture Notes in Computer Science, стр. 504-523. Springer, (2018)Towards Interactive Compilation Models., , и . ISoLA (1), том 11244 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2018)Practical Causality Handling for Synchronous Languages., , и . DATE, стр. 1281-1284. IEEE, (2019)Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)., , , и . ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 3-9. Springer, (2022)From Lustre to Graphical Models and SCCharts., , , , и . FDL, стр. 1-8. IEEE, (2020)Sequential Constructiveness, SCCharts for Safety-Critical Applications., , , , , , , , и . Software Engineering & Management, том P-239 из LNI, стр. 116-117. GI, (2015)Extracting Interactive Actor-Based Dataflow Models from Legacy C Code., , , и . Diagrams, том 12909 из Lecture Notes in Computer Science, стр. 361-377. Springer, (2021)