Skip to main navigation
Skip to search
Skip to main content
Aalborg University's Research Portal Home
Dansk
English
Home
Profiles
Projects
Publications
Activities
Research units
Facilities
Press/Media
Prizes
Datasets
Impacts
Search by keywords, name or affiliation
Model-based Analysis and Testing of Embedded Systems
Nielsen, Brian
(Project Participant)
Larsen, Kim Guldstrand
(Project Participant)
David, Alexandre
(Project Participant)
Mikucionis, Marius
(Project Participant)
Skou, Arne
(Project Participant)
CISS - Center for Embedded Software Systems
Department of Computer Science
Overview
Fingerprint
Publications
(17)
Research output
Research output per year
2013
2014
2015
2015
12
Article in proceeding
3
Journal article
1
Paper without publisher/journal
1
Working paper
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2014
Model checking process algebra of communicating resources for real-time systems
Boudjadar, J.
,
Kim, J. H.
,
Larsen, K. G.
&
Nyman, U.
,
2014
,
10 p.
Research output
:
Working paper/Preprint
›
Working paper
›
Research
Open Access
File
363
Downloads (Pure)