default search action

combined dblp search
author search
venue search
publication search

ask others

IMPEX/FM&MDD 2017: Xi'an, China

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-04636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-04636
Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
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), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. EPTCS 271, 2018
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05516
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05516
Dines Bjørner:
Domain Analysis & Description - The Implicit and Explicit Semantics Problem. 1-23
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05518
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05518
Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd:
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. 24-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05514
Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh:
Incremental Database Design using UML-B and Event-B. 34-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05515
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05515
Sylvain Conchon, David Declerck, Fatiha Zaïdi:
Parameterized Model Checking Modulo Explicit Weak Memory Models. 48-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05517
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05517
J. Paul Gibson, Dominique Méry:
Explicit Modelling of Physical Measures: From Event-B to Java. 64-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05519
Irum Rauf, Elena Troubitsyna:
Securing Open Source Clouds Using Models. 80-94
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05520
Eduardo dos Santos, Andrew Simpson, Dominik Schoop:
A Formal Model to Facilitate Security Testing in Modern Automotive Systems. 95-104
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05521
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05521
Inna Vistbakka, Elena Troubitsyna:
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. 105-116

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.