( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks.

, , , , , , и . CBSE, стр. 43-48. ACM, (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.

José Aleixo Sousa Proença

Humberto Jorge José

Nadine José Gonzalez

José Baena

José Teixeira

 

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

Feature Nets: behavioural modelling of software product lines., , и . Softw. Syst. Model., 15 (4): 1181-1206 (2016)Composing Families of Timed Automata., , и . FSEN, том 10522 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2017)Coordination of Tasks on a Real-Time OS., , , и . COORDINATION, том 11533 из Lecture Notes in Computer Science, стр. 250-266. Springer, (2019)Feature Petri Nets., , и . SPLC Workshops, стр. 99-106. Lancaster University, (2010)Reconfiguration of Reo Connectors Triggered by Dataflow., , , и . ECEASST, (2008)The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , и 9 other автор(ы). Microprocess. Microsystems, (ноября 2021)Hubs for VirtuosoNext: Online verification of real-time coordinators., , , и . Sci. Comput. Program., (2021)Branching Pomsets for Choreographies., , , и . ICE, том 365 из EPTCS, стр. 37-52. (2022)Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems., , , , и . RSSRail, том 13294 из Lecture Notes in Computer Science, стр. 83-94. Springer, (2022)Coordination Models Orc and Reo Compared., и . FOCLASA, том 194 из Electronic Notes in Theoretical Computer Science, стр. 57-76. Elsevier, (2007)