Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - journals/isse/Thierry-MiegH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/Thierry-MiegH08
Yann Thierry-Mieg, Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets. Innov. Syst. Softw. Eng. 4(3): 293-300 (2008)
- view
  authority control:
- export record
  dblp key:
  - journals/isse/YuGRD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/YuGRD08
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser:
Safe design of high-performance embedded systems in an MDE framework. Innov. Syst. Softw. Eng. 4(3): 215-222 (2008)
- view
  authority control:
- export record
  dblp key:
  - journals/isse/ZhangJBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/ZhangJBL08
Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li:
An MDE-based method for bridging different design notations. Innov. Syst. Softw. Eng. 4(3): 203-213 (2008)
- view
  authority control:
- export record
  dblp key:
  - journals/isse/ZhuHB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/ZhuHB08
Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From algebraic semantics to denotational semantics for Verilog. Innov. Syst. Softw. Eng. 4(4): 341-360 (2008)