Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Saved in:
| Published in: | Electronic Proceedings in Theoretical Computer Science Vol. 271 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | Japanese |
| Published: |
Open Publishing Association
12.05.2018
|
| Subjects: | |
| ISSN: | 2075-2180 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Méry, Dominique Nakajima, Shin Troubitsyna, Elena Laleau, Régine |
|---|---|
| Author_xml | – sequence: 1 fullname: Laleau, Régine – sequence: 2 fullname: Méry, Dominique – sequence: 3 fullname: Nakajima, Shin – sequence: 4 fullname: Troubitsyna, Elena |
| BackLink | https://cir.nii.ac.jp/crid/1870302167711846016$$DView record in CiNii |
| BookMark | eNotjV1PwjAUhhujiYhc-A96YQxcDNvuo-ulYSAYFklcIndmdmdQGC2uA8Kf87e5Mc_F-Xzf59yha200IPRAydBjxHuGfSXtkHF6hTqMcN9hNCS3qGfthtThCuaJoIN-F6WRAJnSK4vfjNIV_jTl1q7NHhuNp6nOivqGZ_GiUFJVuF7g8XLfDlttTgVkK8BK49yUu7TA9mwr2OEMjlCY_Q5qYr92j5eDi3fSqpo2NhkUTlSqI2icgFxr9XMA24Bw1Nqb10l5sNXJlNX6jD8ucIv7k_gpjqLBPbrJ08JC7792UTIZJ6OpM39_nY1e5s5G-IGTZnnAs1SI3Pe-Q-ETQfPclVSENAhpGoL0Mt_3mPS9gLmU50A4B8ZSLl0gQrpd9NhitVJfUjWZhpy4hNGAc0pDLyA0cP8Ai2l1sQ |
| ContentType | Journal Article |
| Contributor | National Institute of Informatics (NII) 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) Laboratoire d'Algorithmique Complexité et Logique (LACL) ; Université Paris-Est Créte |
| Contributor_xml | – sequence: 1 fullname: Laboratoire d'Algorithmique Complexité et Logique (LACL) ; Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS) – sequence: 2 fullname: 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) ; 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)-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) – sequence: 3 fullname: TELECOM Nancy ; Université de Lorraine (UL) – sequence: 4 fullname: Proof-oriented development of computer-based systems (MOSEL) ; Department of Formal Methods (LORIA - FM) ; 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)-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) – sequence: 5 fullname: National Institute of Informatics (NII) – sequence: 6 fullname: Åbo Academy University – sequence: 7 fullname: ANR-13-INSE-0001,IMPEX,Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve. – sequence: 8 fullname: Laboratoire d'Algorithmique Complexité et Logique (LACL) ; Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12) – sequence: 9 fullname: 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) – sequence: 10 fullname: Åbo Akademi University [Turku] |
| DBID | RYH |
| DOI | 10.4204/eptcs.271 10.48550/arxiv.1805.04636 10.4204/eptcs.271.0 |
| DatabaseName | CiNii Complete |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | Preface |
| EISSN | 2075-2180 |
| GroupedDBID | 5VS ADBBV ALMA_UNASSIGNED_HOLDINGS BCNDV E3Z GROUPED_DOAJ KQ8 M~E OK1 RYH |
| ID | FETCH-LOGICAL-j956-adf67da99f54b895091ff3c1981681a8ec4d5542c5462317fe077e22a7c3e09c3 |
| IngestDate | Thu Jun 26 21:49:49 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | Japanese |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-j956-adf67da99f54b895091ff3c1981681a8ec4d5542c5462317fe077e22a7c3e09c3 |
| OpenAccessLink | http://dx.doi.org/10.4204/eptcs.271 |
| ParticipantIDs | nii_cinii_1870302167711846016 |
| PublicationCentury | 2000 |
| PublicationDate | 2018-05-12 |
| PublicationDateYYYYMMDD | 2018-05-12 |
| PublicationDate_xml | – month: 05 year: 2018 text: 2018-05-12 day: 12 |
| PublicationDecade | 2010 |
| PublicationTitle | Electronic Proceedings in Theoretical Computer Science |
| PublicationYear | 2018 |
| Publisher | Open Publishing Association |
| Publisher_xml | – name: Open Publishing Association |
| SSID | ssj0000392496 |
| Score | 2.136295 |
| SourceID | nii |
| SourceType | Publisher |
| SubjectTerms | [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS] [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] [INFO]Computer Science [cs] Computer Science - Logic in Computer Science Computer Science - Software Engineering FOS: Computer and information sciences Logic in Computer Science (cs.LO) Software Engineering (cs.SE) |
| Title | Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) |
| URI | https://cir.nii.ac.jp/crid/1870302167711846016 |
| Volume | 271 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals databaseCode: DOA dateStart: 20090101 customDbUrl: isFulltext: true eissn: 2075-2180 dateEnd: 20201231 titleUrlDefault: https://www.doaj.org/ omitProxy: false ssIdentifier: ssj0000392496 providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources databaseCode: M~E dateStart: 20090101 customDbUrl: isFulltext: true eissn: 2075-2180 dateEnd: 99991231 titleUrlDefault: https://road.issn.org omitProxy: false ssIdentifier: ssj0000392496 providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Lb9MwGLe2wYELb8Rrkw8IbULJ4iSNkyOirSakTJXooTeUOQ5z6ZKqL3UX_jT-Nr7PjlNTCTEOXKzUjR0336_-Hv4ehLxjoUwqyYQnJagocVQlXhqJ1ONRCaJcUmZRJnSxCX55mU4m2ejg0LexMJsZr-t0u83m_5XU0AfExtDZfyB3Nyl0wDUQHVogO7R3IvyoY0nLD58bVa-0QXx53czxYOACsypoL4F8NFNCGQfzwWRuPnQmNrSDaHl21iZ7tuFVN22OUhg_mKBNAccPzZ3aaQNL63j9Be6ixnCPGWJ11gfroYSPH2Osh_ZPvLVZ03HWYQ5QzPt9a6CwZwZOsR7n58Eax04gpq1QYTesztkImGCx1mAyfgHfHGeC3HS13gQNploxfujGRl58L6bqRkvYX67Vzmt50ayv1Gp5a0LqYH2mCrk1oLAUz_6Zo27P4XU4Nr_9v4XUm3EIopUH4lDgco7QVI_Z50JxGMQIvflKLP0_3YOJ5JAPL7Zq48O8PV_nbrvLfH5wSO6FvJfhLp7_2NkUgwi16cQk0MJR590YE5r6e5_fHvPrtZzvrwSErVopR9gaPyYPWy2JfjTofkIOpsVT8sjSl7b0fUZ-OmigGuzUgp02NbVgpxbsFDqoBTvtwE5VTQ3YqQE7dcBOTzXUz_RYA3R96QKd7oCOE9Ed0KkDdNoCnZ4O8_cA8rPnZDwcjD9deG1FEm-K-TqLskp4WWRZ1Yuv0gxl7aqKBMuweA0rUiniEsTzUPRi0CoYr2TAuQzDgotIBpmIXpCjuqnlS0ILDqLxlYx7PGRxisfvERMStZGgzMqCvyLH8Pa_CoUtS5EvhyzhnDFQGEBNe_2X79-QBzusvyVHq8VaHpP7YrNSy8WJtjydaPD8Aq31x-Y |
| linkProvider | ISSN International Centre |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Proceedings+Joint+Workshop+on+Handling+IMPlicit+and+EXplicit+knowledge+in+formal+system+development+%28IMPEX%29+and+Formal+and+Model-Driven+Techniques+for+Developing+Trustworthy+Systems+%28FM%26MDD%29&rft.jtitle=Electronic+Proceedings+in+Theoretical+Computer+Science&rft.au=Laleau%2C+R%C3%A9gine&rft.au=M%C3%A9ry%2C+Dominique&rft.au=Nakajima%2C+Shin&rft.au=Troubitsyna%2C+Elena&rft.date=2018-05-12&rft.pub=Open+Publishing+Association&rft.eissn=2075-2180&rft.volume=271&rft_id=info:doi/10.4204%2Feptcs.271&rft_id=info:doi/10.48550%2Farxiv.1805.04636&rft_id=info:doi/10.4204%2Feptcs.271.0 |