المؤلفون: Iqbal, Muhammad Zohaib, Sartaj, Hassan, Khan, Muhammad Uzair, Ul Haq, Fitash, Qaisar, Ifrah

المصدر: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2019 ACM/IEEE 22nd International Conference on. :67-77 Sep, 2019

Relation: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)

المؤلفون: Yang, Weidong, Shen, Xi, Qiu, Qicheng, Zhang, Jianping, Yang, Kejia, Wang, ZeXin, Cai, Yong

المصدر: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2018 IEEE/AIAA 37th. :1-5 Sep, 2018

Relation: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC)

المؤلفون: Mendil, Ismail^Aff10, Aït-Ameur, Yamine^Aff10, Singh, Neeraj Kumar^Aff10, Méry, Dominique^Aff11, Palanque, Philippe^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Lluch Lafuente, Alberto, editor^Aff8, Mavridou, Anastasia, editor^Aff9

المصدر: Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. 12863:126-146

المؤلفون: Barboni, Eric, Navarre, David, Palanque, Philippe, Basnyat, Sandra

المصدر: 2007 International Symposium on Industrial Embedded Systems Industrial Embedded Systems, 2007. SIES '07. International Symposium on. :250-257 Jul, 2007

Relation: 2007 International Symposium on Industrial Embedded Systems

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Navarre, David^Aff1, Palanque, Philippe^Aff1, Ladry, Jean-François^Aff1, Basnyat, Sandra^Aff1

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graham, T. C. Nicholas, editor, Palanque, Philippe, editor

المصدر: Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers. 5136:208-224

المؤلفون: Navarre, David^Aff3, Palanque, Philippe^Aff3, Basnyat, Sandra^Aff3

المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Harrison, Michael D., editor^Aff1, Sujan, Mark-Alexander, editor^Aff2

المصدر: Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings. 5219:373-386

المؤلفون: Neeraj Kumar Singh, Dominique Méry, Ismail Mendil, Yamine Aït-Ameur, Philippe Palanque

المساهمون: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), Interactive Critical Systems (IRIT-ICS), Alberto Lluch Lafuente, Anastasia Mavridou, TELECOM Nancy, Université de Lorraine (UL), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), ANR-16-CE25-0007,FORMEDICIS,Méthodes formelles pour le développement et l'ingénierie de systèmes interactifs critiques(2016)

المصدر: Formal Methods for Industrial Critical Systems. 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Formal Methods for Industrial Critical Systems. 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings ; ISBN 978-3-030-85247-4
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021)
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings ; ISBN: 978-3-030-85247-4
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Aug 2021, Paris (virtual), France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Lecture Notes in Computer Science (LNCS)
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩

مصطلحات موضوعية: Computer science, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Ontology (information science), Data type, Conformance checking, Domain (software engineering), System model, Safety properties, Event-B and Theories, 0202 electrical engineering, electronic engineering, information engineering, Correctness-by-Construction, Standard conformance, ARINC 661, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Critical Interactive Systems, business.industry, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, Formal system, Systems design, 020201 artificial intelligence & image processing, Software engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e149d76429232596e21b93a76f9eaf58
https://hal.archives-ouvertes.fr/hal-03487118

المؤلفون: I.I. Greshnikov, V.I. Zlatomregev

المصدر: Neurocomputers.

مصطلحات موضوعية: Aeronautics, Field (physics), ARINC 661, Computer science, Control (management), Crew, Cockpit

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::191497c8a08dd1e0fabee3d92253af99
https://doi.org/10.18127/j19998554-202104-01

المؤلفون: Marc Pantel, Neeraj Kumar Singh, Yamine Aït-Ameur, Philippe Palanque, David Navarre, Dominique Méry

المساهمون: Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Lorraine (FRANCE), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut National Polytechnique (Toulouse) (Toulouse INP), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), TELECOM Nancy, Université de Lorraine (UL), Interactive Critical Systems (IRIT-ICS), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: Communications in Computer and Information Science ISBN: 9783030469016
FTSCS
FTSCS 2019 : Formal Techniques for Safety-Critical Systems
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019)
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩

مصطلحات موضوعية: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model checking, Computer science, Interface (Java), PetShop, Formal method, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interface homme-machine, Domain (software engineering), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Validation, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Computer-aided software engineering, business.industry, Refinement and proofs, Verification, 020207 software engineering, Human-machine interface (HMI), Animation, Formal methods, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, ARINC 661, Scalability, Task analysis, Cryptographie et sécurité, Event-B, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Software engineering, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5aeddd943240a8c2d2a99785fcf3126a
https://oatao.univ-toulouse.fr/26285/