Skip to main navigation
Skip to search
Skip to main content
Universidade NOVA de Lisboa Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
DEE2010-C1 Sistemas Digitais e Percepcionais
Faculdade de Ciências e Tecnologia (FCT)
DEE - Departamento de Engenharia Electrotécnica e de Computadores
Postal address
Portugal
Overview
Fingerprint
Network
Profiles
(12)
Research output
(623)
Prizes
(6)
Activities
(7)
Press/Media
(1)
Research output
Research output per year
1996
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2024
368
Conference contribution
129
Article
43
Chapter
18
Paper
65
More
15
Editorial
12
Other contribution
10
Book/Film/Article review
6
Book
4
Abstract
4
Review article
3
Other
3
Conference article
2
Other chapter contribution
2
Master's Thesis
1
Foreword/postscript
1
Comment/debate
1
National Final Application
1
Doctoral Thesis
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Doctoral Thesis
Search results
2014
Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems
Moutinho, F.
,
2014
,
FCT-UNL
.
Research output
:
Thesis
›
Doctoral Thesis
Open Access
Petri nets
100%
Embedded systems
94%
Model checking
17%
Decomposition
12%
Specifications
10%