( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Initial Wise Development Environment for Behavioral Models.

, , , и . MODELSWARD, стр. 600-612. SciTePress, (2016)

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.

Guy Katz

Olga Guyot

Thomas Guyet

Karl Guyot

Peter Guyot

 

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

On composing and proving the correctness of reactive behavior., , , , , и . EMSOFT, стр. 13:1-13:10. IEEE, (2013)On the Succinctness of Idioms for Concurrent Programming., , , , и . CONCUR, том 42 из LIPIcs, стр. 85-99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Toward Scalable Verification for Safety-Critical Deep Networks., , , , , и . CoRR, (2018)Efficient Distributed Execution of Multi-component Scenario-Based Models., , , , , и . MODELSWARD (Revised Selected Papers), том 880 из Communications in Computer and Information Science, стр. 449-483. Springer, (2017)Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks., , , , и . CAV (1), том 10426 из Lecture Notes in Computer Science, стр. 97-117. Springer, (2017)Wise Computing: Towards Endowing System Development with True Wisdom., , , и . CoRR, (2015)ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems., , , , , , и . Sci. Comput. Program., (2017)Relaxing Synchronization Constraints in Behavioral Programs., , и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 355-372. Springer, (2013)An SMT-Based Approach for Verifying Binarized Neural Networks., , , и . CoRR, (2020)DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace., , , и . CoRR, (2024)