Dines

Results: 91



#Item
11

1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

Add to Reading List

Source URL: www.imm.dtu.dk

- Date: 2014-04-30 21:31:19
    12

    Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark

    Add to Reading List

    Source URL: www.imm.dtu.dk

    - Date: 2011-07-07 09:08:57
      13

      Domain Science & Engineering∗ Dines Bjørner DTU Informatics, Techn.Univ.of Denmark , www.imm.dtu.dk/~dibj November 17, 2012: 16:19 1

      Add to Reading List

      Source URL: www2.imm.dtu.dk

      - Date: 2012-11-17 10:21:15
        14

        11 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1

        Add to Reading List

        Source URL: www2.compute.dtu.dk

        - Date: 2016-06-11 13:03:25
          15

          40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark

          Add to Reading List

          Source URL: www.imm.dtu.dk

          - Date: 2014-03-18 03:55:21
            16

            To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs.

            Add to Reading List

            Source URL: www2.compute.dtu.dk

            - Date: 2016-12-09 10:06:07
              17

              Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

              Add to Reading List

              Source URL: www.imm.dtu.dk

              - Date: 2016-09-28 03:17:34
                18

                ProCoS: How It All Began – as seen from Denmark Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark∗ October 30, 2015 Abstract I reminisce over an episode at the 9–13 November 1987 IFIP WG2.3 meeting at Chˆ

                Add to Reading List

                Source URL: www.imm.dtu.dk

                - Date: 2016-02-16 04:46:47
                  19

                  66 Lecture 3: Entities c Dines Bjørner 2011, Fredsvej 11, DK–2840 Holte, Denmark - April 25, 2012: 15:51

                  Add to Reading List

                  Source URL: www2.imm.dtu.dk

                  - Date: 2012-04-30 10:39:34
                    20

                    Domain Science & Engineering A Prerequisite for Requirements Engineering ASSC Melbourne Tutorial Notes, May 28, 2014 Dines Bjørner Fredsvej 11, DK–2840 Holte, Denmark , www.imm.dtu.dk/~dibj

                    Add to Reading List

                    Source URL: www.imm.dtu.dk

                    - Date: 2014-04-08 06:25:26
                      UPDATE