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
Keywords
(1)
Model Checking
Subscribe
Academic
Publications
Slicing AADL Specifications for Model Checking
Edit
Slicing AADL Specifications for Model Checking
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
Maximilian R. Odenbrett
,
Viet Yen Nguyen
,
Thomas Noll
Published in 2010.
Cumulative
Annual
Citation Context
(1)
...23 been published at NFM2010 [
14
]. The extension to timed and hybrid models is an item for future work...
Yuri Yushstein
,
et al.
System-Software Co-Engineering: Dependability and Safety Perspective
Order by:
Citations
(2)
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