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)
Gespeichert in:
| Veröffentlicht in: | Electronic Proceedings in Theoretical Computer Science Jg. 271 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Japanisch |
| Veröffentlicht: |
Open Publishing Association
12.05.2018
|
| Schlagworte: | |
| ISSN: | 2075-2180 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| 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.1369185 |
| 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 (WRLC) 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/eLvHCXMwtV1bb9MwFLa2wQMv3BG3TX5AaBNKlqRp7Twi2mpCZKpEhfqGHCdhLl1S9abuhZ_Gb-McO05NJcR44CVy3dhxc776XHwuhLwpZcxFmeceC2UACgoorMAWuMeCLJZFDixNpxT68oldXvLJJBkdHPo2FmYzY1XFt9tk_l9JDX1AbAyd_Qdyt5NCB7SB6HAFssP1VoQftSxp-e5jraqVNogvr-o5HgxcYFYF7SWQjmZKKuNgPpjMzYfWxIZ2EC3Pzppkzza86rrJUQrjBxO0KeD4oblTO21gaR2vv8Bd1BjuMUOszvpgPZTw8WOM9dD-iTc2azrOOkwBimm_bw0U9szAKdbj_DxY49gJxLQVKuyG1TobARMUaw0m4xfwzXEmSE1X401QY6oV44dubOTiu5iqay1hf75SO6_lRb3O1Gp5Y0LqYH2mCrk1oIQcz_5DR92ew-twbH77f4tCb8YRiFYeiEOByzkiUz1mnwvFURAj9OYrufT_dA8mkkM-vNiqjQ_zdn2du-028_nBIbkTsW6Cu3j6Y2dTDDqoTfdMAi0cdd6OMaGpv_f5zTG_Xsv5_kpA2KqUcoSt8UNyv9GS6HuD7kfkYCoekweWvrSh7xPy00ED1WCnFuy0rqgFO7Vgp9BBLdhpC3aqKmrATg3YqQN2eqqhfqbHGqDrpgt0ugM6TkR3QKcO0GkDdHo6TN8CyM-ekvFwMP5w4TUVSbwp5usUedljuUiSshtnPEFZuyw7MkyweE0oeCHjHMTzSHZj0CpCVhYBY0UUCSY7RZDIzjNyVNVV8ZxQzjPWgfsDEYexyCJR9oqMQyuLukUSxC_IMbz9r1LhNeTIl6Owx1gYgsIAatrLv3z_itzbYf01OVot1sUxuSs3K7VcnGjL04kGzy9bEcja |
| 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 |