Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Advisor
Title
Subject
Document Type
Access Type
Help
wcag
Language
English
português
Sign on to:
My Account
Receive email
updates
Edit Profile
tequery
tequery
Repositório do IPBeja
Browsing by Author Barros, João Paulo
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 48 to 53 of 53
< previous
This table browses all dspace content
Issue Date
Title
Author(s)
Type
Access Type
2022
Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker
20.500.12207/5698
Barros, João Paulo
;
Gomes, Luís
article
restrictedAccess
12-Sep-2017
Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards
20.500.12207/4787
Ataíde, Artur
;
Barros, João Paulo
;
Brito, Isabel Sofia
;
Gomes, Luís
conferenceObject
closedAccess
2011
Towards Statecharts to Input-Output Place Transition Nets Transformations
20.500.12207/494
Pais, Rui
;
Gomes, Luís
;
Barros, João Paulo
bookPart
closedAccess
2014
Towards the use of Place/Transition net tools for analysis of IOPT models
20.500.12207/4471
Barros, João Paulo
;
Gomes, Luís
conferenceObject
info:eu-repo/semantics/openAccess
Jun-2011
Towards the use of sequence diagrams as a learning aid
20.500.12207/244
Barros, João Paulo
;
Biscaia, Luís
;
Vitória, Miguel
conferenceObject
openAccess
2019
Vulnerabilities in IoT Devices for Smart Home Environment
20.500.12207/5044
Costa, Luís
;
Barros, João Paulo
;
Tavares, Miguel
article
openAccess