Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Meyer, Bertrand https://www.mathnet.ru/eng/person130612 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2017 1. A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, S. Ebersold, “A contract-based method to specify stimulus-response requirements”, Proceedings of ISP RAS, 29:4 (2017),  39–54     Organisations Université Paul Sabatier, Toulouse Politecnico di Milano Innopolis University