Publications

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Model checking  [Clear All Filters]
2016
L. Allal, Belalem, G., Dhaussy, P., and Teodorov, C., A Parallel Algorithm for the State Space Exploration, Scalable Computing: Practice and Experience, vol. 17, no. 2, p. 141, 2016.
L. Allal, Belalem, G., Dhaussy, P., and Teodorov, C., Sequential and Parallel Algorithms for the State Space Exploration, CYBERNETICS AND INFORMATION TECHNOLOGIES, vol. 16, no. 1, p. 18, 2016.
L. Allal, Belalem, G., and Dhaussy, P., Towards Distributed Solution to the State Explosion Problem, Third International Conference on Information System Design and Intelligent Applications, vol. LNCS 433. Springer, Visakhapatnam, India, pp. 541-550, 2016.
L. Allal, Belalem, G., and Dhaussy, P., Towards Distributed Solution to the State Explosion Problem, Third International Conference on Information System Design and Intelligent Applications, vol. 433. Springer, Vishakapatnam, India, pp. 541-550, 2016.