( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the automatic generation of timed automata models from ISA 5.2 diagrams.

, , , , и . ETFA, стр. 406-412. IEEE, (2007)

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.

Vitor Dias Silva

Kerstin da Silva

Rodrigo Corrêa da Silva

Adriano João Da Silva

Carolina Ferraz da Silva

 

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

Formal modelling and verification of a component model using coloured petri nets and model checking., , и . SAC, стр. 1427-1431. ACM, (2007)A methodology for modeling and simulation of biomedical signal acquisition devices., , , , , и . HealthCom, стр. 227-231. IEEE, (2015)Coloured Petri nets for abstract test generation in software engineering., , , , , , и . Softw. Test. Verification Reliab., (марта 2023)Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study., , , , , и . EMBC, стр. 2488-2491. IEEE, (2016)A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets., и . Component-Based Software Development for Embedded Systems, том 3778 из Lecture Notes in Computer Science, Springer, (2005)Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks., , , , , и . ICCE, стр. 1-4. IEEE, (2024)Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device., , , , , и . IECON, стр. 2645-2651. IEEE, (2014)A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets., , , и . SELMAS, том 3390 из Lecture Notes in Computer Science, стр. 162-179. Springer, (2004)A model to discipline autonomy in cyber-physical systems-of-systems and its application., , и . J. Softw. Evol. Process., (2021)Ticc: A Tool for Interface Compatibility and Composition., , , , , , и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 59-62. Springer, (2006)