Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(2)
Viet Yen Nguyen
1
Thomas Noll
1
Keywords
(1)
Embed
Subscribe
Academic
Authors
Maximilian R. Odenbrett
Edit
Maximilian R. Odenbrett
Publications: 1
|
Citations: 2
|
G-Index: 1
|
H-Index: 1
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Collaborated with
2 co-authors
in 2010
; Cited by
14 authors
Bing
Cumulative
Annual
Order by:
Publications
(1)
BibTeX
|
RIS
|
RefWorks
Download
Slicing AADL Specifications for Model Checking
(
Citations: 2
)
Maximilian R. Odenbrett
,
Viet Yen Nguyen
,
Thomas Noll
Published in 2010.
Order by:
Citations
(2 times by 2 publications)
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Conference:
IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT
, 2011
System synthesis from AADL using Polychrony
Yue Ma
,
Huafeng Yu
,
Thierry Gautier
,
Jean-Pierre Talpin
,
Loic Besnard
,
Paul Le Guernic
Conference:
Electronic System Level Synthesis Conference - ESLsyn
, 2011
Comments