Author:
França Ricardo Bedin,Becker Leandro Buss,Bodeveix Jean-Paul,Farines Jean-Marie,Filali Mamoun
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. AMBA Specification (Rev. 2). ARM Limited (1999)
3. Apt, K., Kozen, D.: Limits for automatic verification of finite-state concurrent systems. Inf. Process. Lett. 22(6), 307–309 (1986)
4. Ball, E., Butler, M.: Event-B patterns for specifying fault-tolerance in multi-agent interaction. In: Workshop on Methods, Models and Tools for Fault Tolerance, Oxford, pp. 4–13 (2007)
5. Berry, G., Kishinevsky, M., Singh, S.: System Level Design and Verification Using a Synchronous Language. In: ICCAD 2003: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design, San Jose, p. 433 (2003)