Author:
Mokrani Hocine,Ameur-Boulifa Rabéa,Encrenaz-Tiphene Emmanuelle
Publisher
Springer International Publishing
Reference18 articles.
1. Abdi S, Gajski D (2006) Verification of system level model transformations. Int J Parallel Prog 34:29–59. doi:
10.1007/s10766-005-0001-y
2. Abrial JR (1996) The B-book: assigning programs to meanings. Cambridge University Press, New York
3. Apvrille L, Muhammad W, Ameur-Boulifa R, Coudert S, Pacalet R (2006) A UML-based environment for system design space exploration. In: Proceedings of the 13th IEEE international conference on electronics, circuits and systems (ICECS) 2006, pp 1272–1275. doi:
10.1109/ICECS.2006.379694
4. Arnold A (1994) Finite transition systems—semantics of communicating systems. Prentice Hall, New Jersey
5. Berthomieu B, Bodeveix J, Farail P, Filali M, Garavel H, Gaufillet P, Lang F, Vernadat F (2008) Fiacre: an intermediate language for model verification in the TOPCASED environment. In: Proceedings of the embedded real time software and systems (ERTS2) 2008, Toulouse, France