Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journals
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
FAQ
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
FAQ
Follow SCIRP
Contact us
[email protected]
+86 18163351462
(WhatsApp)
1655362766
SCIRP WeChat
Publication Date:
📅
--📅
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
(Articles)
Mohamed El-Kamel Hamdane
,
Allaoui Chaoui
,
Martin Strecker
Journal of Software Engineering and Applications
Vol.6 No.3
, March 29, 2013
DOI:
10.4236/jsea.2013.63019
4,595
Downloads
8,836
Views
Citations
Formal Modeling and Analysis of AADL Threads in Real Time Maude
(Articles)
F. Belala
,
M. Benammar
,
K. Barkaoui
,
A. Hicheur
Journal of Software Engineering and Applications
Vol.5 No.12B
, January 25, 2013
DOI:
10.4236/jsea.2012.512B036
4,027
Downloads
5,981
Views
Citations
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
(Articles)
Hassan Reza
,
Amrita Chatterjee
Journal of Software Engineering and Applications
Vol.7 No.11
, October 24, 2014
DOI:
10.4236/jsea.2014.711082
5,916
Downloads
7,660
Views
Citations
Follow SCIRP
Contact us
[email protected]
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
SCIRP Newsletter
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
News
About SCIRP
Ethics
Editorial Policies
For Authors
Peer-Review Issues
Publication Fees
Special Issues
Service
Manuscript Tracking System
Order Print Copies
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top