Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Julien DeAntoni. Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models. 2019. [doi]

@book{Deantoni19,
  title = {Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models},
  author = {Julien DeAntoni},
  year = {2019},
  url = {https://tel.archives-ouvertes.fr/tel-02427962},
  researchr = {https://researchr.org/publication/Deantoni19},
  cites = {0},
  citedby = {0},
}

runs on WebDSL