( en | de | ru )

 

Disambiguierung von "Barros, João Paulo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.

, , , , , , , und . DoCEIS, Volume 349 von IFIP Advances in Information and Communication Technology, Seite 256-265. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

João Barros

João Paulo Vieira Pinheiro

João Paulo Casimiro Palma

Gil dos Santos Guerreiro João

João Paulo Carvalho Lustosa Costa

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards the use of Place/Transition net tools for analysis of IOPT models., und . ISIE, Seite 1141-1146. IEEE, (2014)Exploring USB Connection Vulnerabilities on Android Devices - Breaches using the Android Debug Bridge., und . SECRYPT, Seite 572-577. SciTePress, (2017)Refining IOPT Petri Nets Class for Embedded System Controller Modeling., und . IECON, Seite 4720-4725. IEEE, (2018)Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards., , , und . ETFA, Seite 1-4. IEEE, (2017)Using lab exams to ensure programming practice in an introductory programming course., , , , und . ITiCSE, Seite 16-20. ACM, (2003)Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers., , , , , und . Petri Nets, Volume 14628 von Lecture Notes in Computer Science, Seite 402-412. Springer, (2024)From non-autonomous Petri net models to executable state machines., und . ISIE, Seite 1638-1643. IEEE, (2019)Vulnerabilities in IoT Devices for Smart Home Environment., , und . ICISSP, Seite 615-622. SciTePress, (2019)Students' Perceptions of Paper-Based vs. Computer-Based Testing in an Introductory Programming Course.. CSEDU (2), Seite 303-308. SciTePress, (2018)978-989-758-291-2.From SysML State Machines to Petri Nets Using ATL Transformations., , und . DoCEIS, Volume 423 von IFIP Advances in Information and Communication Technology, Seite 227-236. Springer, (2014)