( en | de | ru )

 

Disambiguation of "Moutinho, Filipe"

Author of the publication

copydeleteadd this publication to your clipboard
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.

, , , , , , , and . DoCEIS, volume 349 of IFIP Advances in Information and Communication Technology, page 256-265. Springer, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

Filipe Campello

Filipe Beato

Filipe Cristino

Floriano Moutinho Rodrigues

Filipe Dom Masquil

 

Other publications of authors with the same name

Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems., and . DoCEIS, volume 372 of IFIP Advances in Information and Communication Technology, page 143-150. Springer, (2012)Attracting students to engineering through autonomous sailing yacht development., , , and . ICIT, page 3252-3257. IEEE, (2015)A Syntax-Independent Code Generation Tool for IOPT-Petri Nets., , and . ATAED/PN4TT@Petri Nets, volume 3424 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Multispectral Indices for Wildfire Management., , , and . CoRR, (2023)Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral Images., , , , and . Algorithms, 15 (12): 440 (2022)Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations., , , and . IECON, page 6151-6156. IEEE, (2012)Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange., , and . DoCEIS, volume 678 of IFIP Advances in Information and Communication Technology, page 191-202. Springer, (2023)Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application., , and . DoCEIS, volume 577 of IFIP Advances in Information and Communication Technology, page 93-100. Springer, (2020)Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification., and . DoCEIS, volume 394 of IFIP Advances in Information and Communication Technology, page 221-228. Springer, (2013)Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces., , and . DoCEIS, volume 349 of IFIP Advances in Information and Communication Technology, page 246-255. Springer, (2011)