( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Embedded Systems with PROMELA.

, , и . ECBS, стр. 378-385. IEEE Computer Society, (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.

João Pacheco Fernandes Neto

João Manuel Azevedo Alexandrino Fernandes

Gil dos Santos Guerreiro João

Justiniano José Joao Fernandes

João Barros

 

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

Formal requirements modelling with executable use cases and coloured Petri nets., , и . Innov. Syst. Softw. Eng., 5 (1): 13-25 (2009)Integration of DFDs into a UML-based Model-driven Engineering Approach., , и . Softw. Syst. Model., 5 (4): 403-428 (2006)Meta-learning and the new challenges of machine learning., , , , , и . Int. J. Intell. Syst., 36 (11): 6240-6272 (2021)A reference framework for process-oriented software development organizations., и . Softw. Syst. Model., 4 (1): 94-105 (2005)A Software Engineering Course that Promotes Entrepreneurship: Insights from a VUCA Perspective., и . ICSOB, том 407 из Lecture Notes in Business Information Processing, стр. 159-174. Springer, (2020)Validation of Reactive Software from Scenario-Based Models., и . QUATIC, стр. 213-217. IEEE Computer Society, (2007)A Systematic Reuse-Based Approach for Customized Cloned Variants., , , и . QUATIC, стр. 287-292. IEEE Computer Society, (2018)Impact of remote work on Portuguese software professionals during the COVID-19 pandemic., , и . CIbSE, стр. 191-205. Curran Associates, (2023)The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets., , , , и . HCSE, том 6409 из Lecture Notes in Computer Science, стр. 6-21. Springer, (2010)Model Checking Embedded Systems with PROMELA., , и . ECBS, стр. 378-385. IEEE Computer Society, (2005)