{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:20:52Z","timestamp":1725618052825},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244421"},{"type":"electronic","value":"9783642244438"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24443-8_22","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T00:34:12Z","timestamp":1317861252000},"page":"200-213","source":"Crossref","is-referenced-by-count":1,"title":["Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B"],"prefix":"10.1007","author":[{"given":"Linda","family":"Mohand-Oussa\u00efd","sequence":"first","affiliation":[]},{"given":"Idir","family":"A\u00eft-Sadoune","sequence":"additional","affiliation":[]},{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Nigay, L., Coutaz, J.: Espaces conceptuels pour l\u2019interaction multi-m\u00e9dia et multi-modale. Sp\u00e9cial Multi-m\u00e9dia et Collecticiel, 1195\u20131225 (1996)"},{"key":"22_CR2","unstructured":"Palanque, P., Schyn, A.: A Model-based for engineering multi-modal interactive systems. In: 9th IFIP TC13 International Conference on Human Computer Interaction (2003)"},{"key":"22_CR3","unstructured":"Schyn, A., Navarre, D., Palanque, P., Nedel, L.P.: Description Formelle d\u2019une Technique d\u2019Interaction Multi-modale dans une Application de R\u00e9alit\u00e9 Virtuelle Immersive. In: Proceeding of the 15th French Speaking Conference on Human-Computer Interaction (IHM 2003), Caen, France, November 25-28 (2003)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/11555261_17","volume-title":"Human-Computer Interaction - INTERACT 2005","author":"D. Navarre","year":"2005","unstructured":"Navarre, D., Palanque, P., Bastide, R., Schyn, A., Winckler, M., Nedel, L.P., Freitas, C.M.D.S.: A Formal Description of Multi-modal Interaction Techniques for Immersive Virtual Reality Applications. In: Costabile, M.F., Patern\u00f3, F. (eds.) INTERACT 2005. LNCS, vol.\u00a03585, pp. 170\u2013183. Springer, Heidelberg (2005)"},{"key":"22_CR5","unstructured":"Kamel, N.: Un cadre formel g\u00e9n\u00e9ric pour la specification et la v\u00e9rification des interfaces multi-modales. Cas de la multi-modalit\u00e9 en entr\u00e9e, Ph.D thesis, Universit\u00e9 de Poitiers (2006)"},{"issue":"6-7","key":"22_CR6","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/S0920-5489(97)00013-5","volume":"18","author":"M. Bordegoni","year":"1997","unstructured":"Bordegoni, M., Faconti, G., Maybury, M.T., Rist, T., Ruggieri, S., Trahanias, P., Wilson, M.: A Standard Reference Model for Intelligent Multi-media Presentation Systems. Computer Standards and Interfaces\u00a018(6-7), 477\u2013496 (1997)","journal-title":"Computer Standards and Interfaces"},{"key":"22_CR7","unstructured":"Rousseau, C.: Pr\u00e9sentation multi-modale et contextuelle de l\u2019information. Ph.D thesis (universit\u00e9 Paris sud XI-Orsay) (2006)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"A\u00eft-Ameur, Y., A\u00eft-Sadoune, I., Baron, M., Mota, J.: V\u00e9rification et validation formelles de syst\u00e9mes interactifs fond\u00e9es sur la preuve: application aux syst\u00e9mes Multi-Modaux. Journal d\u2019Interaction Personne-Syst\u00e9me (JIPS)\u00a01(1) (Septembre 2010)","DOI":"10.46298\/jips.59"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Mohand-Oussa\u00efd, L., A\u00eft-Ameur, Y., Ahmed-Nacer, M.: A generic formal model for fission of modalities in output multi-modal interactive systems. In: 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2009, Rabat, Morroco (July 2009)","DOI":"10.14236\/ewic\/VECOS2009.12"},{"key":"22_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: system and software engineering","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge (2010)"},{"key":"22_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"22_CR12","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Inc., Englewood Cliffs (1976)"},{"key":"22_CR13","unstructured":"Rodin, European Project Rodin (2004), http:\/\/rodin.cs.ncl.ac.uk"},{"issue":"3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10009-009-0109-2","volume":"11","author":"Y. Ait-Ameur","year":"2009","unstructured":"Ait-Ameur, Y., Baron, M., Kamel, N., Mota, J.: Encoding a process algebra using the Event-B method. International Journal on Software Tools for Technology Transfer (STTT)\u00a011(3), 239\u2013253 (2009)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24443-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T23:29:49Z","timestamp":1639006189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24443-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244421","9783642244438"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24443-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}