CORE

🇺🇦   make metadata, not war

    5 research outputs found

    Direct Semantics of Extended State Machines.

    Author
      Publication venue
      'AITO - Association Internationale pour les Technologies Objets'
      Publication date
      Field of study
      Full text link
      Crossref

      MARTES 2006 at MoDELS 2006 : International Workshop on Modeling and Analysis of Real-Time and Embedded Systems

      Author
      Publication venue
      Publication date
      Field of study
      Get PDF
      NORA - Norwegian Open Research Archives

      Invariant-based synthesis of fault-tolerant systems

      Author
      Publication venue
      Publication date
      Field of study
      No full text
      UCL Discovery
      King's Research Portal

      Invariant-Based Synthesis of Fault-Tolerant Systems

      Author
      Publication venue
      'Springer Science and Business Media LLC'
      Publication date
      Field of study
      No full text
      Crossref
      corecore