Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Citations
Journals Menu
Articles
Archive
Indexing
Aims & Scope
Editorial Board
For Authors
Publication Fees
Open Special Issues
Published Special Issues
Special Issues Guideline
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Journal of Software Engineering and Applications
Submission
Journal of Software Engineering and Applications
ISSN Print:
1945-3116
ISSN Online:
1945-3124
www.scirp.org/journal/jsea
E-mail:
jsea@scirp.org
Google-based Impact Factor:
1.22
Citations
h5
-index & Ranking
Journals Menu
Articles
Archive
Indexing
Aims & Scope
Editorial Board
For Authors
Publication Fees
"
Mapping UML 2.0 Activities to Zero-Safe Nets
"
written by
Sabine Boufenara, Faiza Belala, Kamel Barkaoui
,
published by
Journal of Software Engineering and Applications
,
Vol.3 No.5, 2010
has been cited by the following article(s):
Google Scholar
CrossRef
[1]
Transactional Petri nets: a semantic framework for UML2 activities
International Journal of Critical Computer-Based Systems
,
2014
[2]
1.3. 3 Extending eFFBD formalism to task model
INCOSE International Symposium.Wiley Online Library
,
2014
[3]
ArcFem: New Software Module in ArcGIS for Numerical Modeling.
International Journal on Information Technology (IREIT)
,
2014
[4]
Transactional Petri nets: a semantic framework for UML2 activities.
2014
[5]
Model-based development of fault tolerant systems of systems
Systems Conference (SysCon), 2013 IEEE International. IEEE
,
2013
[6]
A Formal Semantics for SysML Activity Diagrams
Formal Methods: Foundations and Applications. Springer Berlin Heidelberg
,
2013
[7]
Graphical modelling meets formal methods
Industrial Informatics (INDIN), 2013 11th IEEE International Conference on. IEEE
,
2013
[8]
On formalizing UML2 activities using TPNets: case studies
Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems. British Computer Society
,
2011
[1]
1.3.3 Extending eFFBD formalism to task model
INCOSE International Symposium
,
2014
DOI:
10.1002/j.2334-5837.2014.tb03135.x
[2]
1.3.3 Extending eFFBD formalism to task model
INCOSE International Symposium
,
2014
DOI:
10.1002/j.2334-5837.2014.tb03135.x
[3]
Model-based development of fault tolerant systems of systems
2013 IEEE International Systems Conference (SysCon)
,
2013
DOI:
10.1109/SysCon.2013.6549906
[4]
Graphical modelling meets formal methods
2013 11th IEEE International Conference on Industrial Informatics (INDIN)
,
2013
DOI:
10.1109/INDIN.2013.6622972
[5]
Formal Methods: Foundations and Applications
Lecture Notes in Computer Science
,
2013
DOI:
10.1007/978-3-642-41071-0_13
Most cited
Most downloaded
E-Mail Alert
JSEA Subscription
Publication Ethics & OA Statement
Frequently Asked Questions
Recommend to Peers
Recommend to Library
Contact us
Disclaimer
History Issue
Open Special Issues
Published Special Issues
Special Issues Guideline
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top