Back to Search
Start Over
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B.
- Source :
- Software Engineering & Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings; 2014, p363-377, 15p
- Publication Year :
- 2014
Details
- Language :
- English
- ISBNs :
- 9783319104300
- Database :
- Complementary Index
- Journal :
- Software Engineering & Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
- Publication Type :
- Book
- Accession number :
- 98761790
- Full Text :
- https://doi.org/10.1007/978-3-319-10431-7_29