Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
Home
ISIS Publications
List
Filter
Export 1 results:
Tagged
XML
BibTex
Sort by: [
Author
]
Title
Type
Year
Filters:
Author
is
Levendovszky, T.
[Clear All Filters]
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
S
Simko, G.
,
D. Lindecker
,
T. Levendovszky
,
S. Neema
, and
J. Sztipanovits
,
"
Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition
",
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS)
: Springer Berlin Heidelberg, 2013.
Tagged
XML
BibTex
Google Scholar