Rodin

Results: 380



#Item
11

Theory Plug-in for Rodin 3.0 T.S. Hoang1 1 A. Salehi1

Add to Reading List

Source URL: wiki.event-b.org

- Date: 2016-05-23 10:09:38
    12

    Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D19

    Add to Reading List

    Source URL: rodin.cs.ncl.ac.uk

    - Date: 2006-11-21 08:16:16
      13

      SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines Tsutomu Kobayashi1 , Aivar Kripsaar2 , Fuyuki Ishikawa3 and Shinichi Honiden1,3 1

      Add to Reading List

      Source URL: wiki.event-b.org

      - Date: 2016-05-20 11:37:27
        14

        Theory Plug-in for Rodin 3.x Thai Son Hoang1 , Asieh Salehi1 , Michael Butler1 , and Laurent Voisin2 1 ECS, University of Southamtpon, U.K. 2

        Add to Reading List

        Source URL: wiki.event-b.org

        - Date: 2016-05-20 11:43:39
          15

          On Rigorous Design and Implementation of Fault Tolerant Ambient Systems Alexei Iliasov, Alexander Romanovsky, Budi Arief School of Computing Science, Newcastle University Newcastle upon Tyne NE1 7RU, England {Alexei.Ilia

          Add to Reading List

          Source URL: rodin.cs.ncl.ac.uk

          - Date: 2007-07-13 11:23:27
            16

            CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents Alexei Iliasov, Alexander Romanovsky School of Computing Science, University of Newcastle Newcastle upon Tyne, NE1 7RU, United Kin

            Add to Reading List

            Source URL: rodin.cs.ncl.ac.uk

            - Date: 2005-07-08 09:18:28
              17

              Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D23

              Add to Reading List

              Source URL: rodin.cs.ncl.ac.uk

              - Date: 2007-11-07 10:28:25
                18

                LE PRIX FIEEC DE LA RECHERCHE APPLIQUEE AUX PME‐ETI En partenariat avec l’ANR, l’Association des Instituts Carnot, BPI France, CentraleSupelec, le Club Rodin et le Fonds pour l’Innovation dans l’Industrie (F2I)

                Add to Reading List

                Source URL: www.fieec.fr

                - Date: 2016-05-20 10:32:35
                  19

                  Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D24

                  Add to Reading List

                  Source URL: rodin.cs.ncl.ac.uk

                  - Date: 2007-11-07 10:28:42
                    UPDATE