|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Meng Qin, ZhiWu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi |
Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi |
Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". |
IEEE T. Automation Science and Engineering |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi |
Formal approach for the development of intelligent industrial control components. |
IJCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Mohamed Khalgui |
Combining formal methods for the development of reactive systems. |
IJCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch |
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li |
A Component-Based Approach for the Development of Automated Systems. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi |
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. |
IEEE T. Automation Science and Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui |
A formal approach for the development of reactive systems. |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi |
Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. |
ICSOFT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi |
Intelligent distributed control systems. |
Information & Software Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
A formal approach to check and schedule reconfigurable embedded control systems. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Leila Jemni, Jacques Jaray |
A Formal Approach for the Development of Automated Systems. |
ICSOFT (SE) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Olfa Mosbahi, Jacques Jaray |
Specification and Proof of Liveness Properties in B Event Systems. |
ICSOFT (SE) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed |
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")