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 Moutinho, Filipe
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 3 to 6 of 6
< previous
This table browses all dspace content
Issue Date
Title
Author(s)
Type
Access Type
2014
Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development
20.500.12207/4470
Gomes, Luís
;
Moutinho, Filipe
;
Pereira, Fernando
;
Ribeiro, José
;
Costa, Anikó
;
Barros, João Paulo
conferenceObject
info:eu-repo/semantics/restrictedAccess
2013
Merging and splitting Petri net models within distributed embedded controller design
20.500.12207/704
Gomes, Luís
;
Costa, Anikó
;
Barros, João Paulo
;
Moutinho, Filipe
;
Pereira, Fernando
bookPart
info:eu-repo/semantics/closedAccess
Feb-2011
Petri Net based specification and verification of globally-asynchronous-locally-synchronous system
20.500.12207/654
Moutinho, Filipe
;
Gomes, Luís
;
Barbosa, Paulo
;
Barros, João Paulo
;
Ramalho, Franklin
;
Figueiredo, Jorge
;
Costa, Aniko
;
Monteiro, Andre
conferenceObject
info:eu-repo/semantics/closedAccess
2011
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
20.500.12207/491
Barbosa, Paulo
;
Barros, João Paulo
;
Ramalho, Franklin
;
Gomes, Luís
;
Figueiredo, Jorge
;
Moutinho, Filipe
;
Costa, Anikó
;
Aranha, André
bookPart
closedAccess