|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hajer Ben Mahmoud Dammak, Raouf Ketata, Taieb Ben Romdhane, Samir Ben Ahmed |
A multiobjective-optimization approach for a piloted quality-management system: A comparison of two approaches for a case study.  |
Computers in Industry  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Atef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed |
Agent-based Fault Management of Embedded Control Systems. |
ICSOFT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed |
ArchMDE Approach for the Formal Verification of Real Time Systems. |
CIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajer Ben Mahmoud Dammak, Raouf Ketata, Taieb Ben Romdhane, Samir Ben Ahmed |
Piloting a Quality Management System for study case using Multi-Choice Goal Programming. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoufel Machta, M. Taha Bennani, Samir Ben Ahmed |
Aspect oriented Modeling of Real-Time system with UML and MARTE. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed |
Optimal model checking of safe control embedded software components. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajer Ben Mahmoud Dammak, Raouf Ketata, Taieb Ben Romdhane, Samir Ben Ahmed |
Modeling Quality Management System: A multi-agent approach. |
ICITST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Amen Ben Hadj Ali, Abdelaziz Abdellatif, Samir Ben Ahmed |
Transformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel. |
INFORSID |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed |
ArchMDE Approach for the Development of Embedded Real Time Systems. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
TURTLE, Model Transformation, Meta-model, Architectural Style, MDE, Embedded Real Time System |
| 1 | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |
A Specification and Validation Technique Based on STATEMATE and FNLOG. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")