Search Results - Prun, Daniel

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Formal Verification of Graphical Properties of Interactive Systems

    Formal Verification of Graphical Properties of Interactive Systems by Prun, Daniel, Béger, Pascal

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    1.3.3 Extending eFFBD formalism to task model

    1.3.3 Extending eFFBD formalism to task model by Prun, Daniel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming

    Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming by Magnaudet, Mathieu, Chatty, Stéphane, Conversy, Stéphane, Leriche, Sébastien, Picard, Celia, Prun, Daniel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Overcoming Challenges on an International Project to Advance Systems Engineering

    Overcoming Challenges on an International Project to Advance Systems Engineering by Davidz, Heidi, Ferris, T.L.J., Henry, Devanandham, Hilburn, Thomas B., Hutchison, Nicole A.C., Olwell, David H., Prun, Daniel, Pyster, Art, Roussel, Jean‐Claude, Sillitto, Hillary, Snoderly, John, Squires, Alice F., Zemrowski, Ken

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    7.3.3 Integrating Systems Engineering with Project Management: a Current Challenge

    7.3.3 Integrating Systems Engineering with Project Management: a Current Challenge by Xue, Rui, Baron, Claude, Esteban, Philippe, Prun, Daniel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    1.6.1 xFFBD: towards a formal yet functional modeling language for system designers

    1.6.1 xFFBD: towards a formal yet functional modeling language for system designers by AIZIER, Bruno, LIZY-DESTREZ, Stéphanie, SEIDNER, Charlotte, CHAPURLAT, Vincent, PRUN, Daniel, WIPPLER, Jean-Luc

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    8.5.0 Graduate Reference Curriculum in Systems Engineering (GRCSE)

    8.5.0 Graduate Reference Curriculum in Systems Engineering (GRCSE) by Ferris, Tim, Prun, Daniel, Geist, Karl, Chia, Aaron, Jackson, Peter, Freeman, Rich

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: