Author:
Khlifi Oussama,Siegwart Christian,Mosbahi Olfa,Khalgui Mohamed,Frey Georg
Publisher
Springer International Publishing
Reference20 articles.
1. Khlifi, O., Mosbahi, O., Khalgui, M., Frey, G.: GR-TNCES: new extensions of R-TNCES for modeling and verification of flexible systems under energy and memory constraints. In: International Conference on Software Technologies, Colmar, France, pp. 373–380 (2015)
2. Bortolussi. L., et al.: Verification of Complex Adaptive Systems (2015).
http://homepage.lnu.se/staff/daweaa/papers/2015CASVerification.pdf
3. Zhang, J., Khalgui, M., Li, Z.W., Mosbahi, O., Al-Ahmari, A.M.: R-TNCES: a novel formalism for reconfigurable discrete event control systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4), 757–772 (2013)
4. Harel, D., et al.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403–414 (1990)
5. Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Trans. Softw. Eng. 20(9), 684–707 (1994)