1. 2011
  2. Published
  3. 2009
  4. Published

    Test af Software : Test af indlejret og teknisk software. / Skou, Arne (Editor); Nielsen, Brian (Editor); Biegel, Jørgen (Editor).

    Aalborg : CISS, Aalborg Universitet, 2009. 85 p.

    Research output: CommunicationBook

  5. 2006
  6. Published

    Prosoft : procesforbedring under udvikling af indlejret og teknisk software. / Skou, Arne (Editor); Nielsen, Brian; Skou, Arne; Aaen, Ivan; Nielsen, Peter Axel; Knudsen, John; Biegel, Jørgen (Editor).

    Aalborg : CISS, Aalborg Universitet, 2006. 150 p.

    Research output: CommunicationReport

  7. 1995
  8. Published

    Specification and Automated Verification of Real-Time Behaviour : A Case Study. / Andersen, Jørgen H.; Kristensen, Carsten H.; Skou, Arne.

    Århus : Department of Computer Science, Aarhus University, 1995.

    Research output: CommunicationBook

  9. 1992
  10. Published

    Computer Aided Verification : 3rd International Workshop, CAV'91. / Larsen, Kim Guldstrand; Skou, Arne.

    Berlin : IEEE Computer Society Press, 1992.

    Research output: CommunicationBook

  11. 1989
  12. Published

    Validation of Concurrent Processes with Emphasis on Testing. / Skou, Arne.

    Aalborg : Institut for Elektroniske Systemer, Aalborg Universitet, 1989.

    Research output: CommunicationBook