Rodin

Results: 380



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

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
    12Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D19

    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
      13SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines Tsutomu Kobayashi1 , Aivar Kripsaar2 , Fuyuki Ishikawa3 and Shinichi Honiden1,3 1

      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
        14Theory Plug-in for Rodin 3.x Thai Son Hoang1 , Asieh Salehi1 , Michael Butler1 , and Laurent Voisin2 1 ECS, University of Southamtpon, U.K. 2

        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
          15On 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

          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
            16CAMA: 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

            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
              17Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D23

              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
                18LE 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)

                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
                  19Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D24

                  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