Search Results - Hasanagić, Miran

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Code generation for distributed embedded systems with VDM-RT

    Code generation for distributed embedded systems with VDM-RT by Hasanagić, Miran, Fabbri, Tommaso, Larsen, Peter Gorm, Bandur, Victor, Tran-Jørgensen, Peter, Ouy, Julien

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Realization of distributed system models using code generation extensions

    Realization of distributed system models using code generation extensions by Hasanagić, Miran, Tran‐Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Towards Enabling Overture as a Platform for Formal Notation IDEs

    Towards Enabling Overture as a Platform for Formal Notation IDEs by Couto, Luís Diogo, Larsen, Peter Gorm, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W. V.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Towards Enabling Overture as a Platform for Formal Notation IDEs

    Towards Enabling Overture as a Platform for Formal Notation IDEs by Couto, Luís Diogo, Peter Gorm Larsen, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W V

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: