 | 2012 |
| 6 |  | Xin He,
Ram Kumar,
Liping Mu,
Terje Gjøsæter,
Frank Y. Li:
Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol.
Computer Standards & Interfaces 34(4): 343-354 (2012) |
| 2010 |
| 5 |  | Liping Mu,
Terje Gjøsæter,
Andreas Prinz,
Merete Skjelten Tveit:
Specification of modelling languages in a flexible meta-model architecture.
ECSA Companion Volume 2010: 302-308 |
| 4 |  | Terje Gjøsæter,
Andreas Prinz:
Teaching Model Driven Language Handling.
ECEASST 34: (2010) |
| 2009 |
| 3 |  | Terje Gjøsæter,
Andreas Prinz:
Teaching Computer Language Handling - From Compiler Theory to Meta-modelling.
GTTSE 2009: 446-460 |
| 2008 |
| 2 |  | Terje Gjøsæter,
Ingelin F. Isfeldt,
Andreas Prinz:
Sudoku - A Language Description Case Study.
SLE 2008: 305-321 |
| 2006 |
| 1 |  | Terje Gjøsæter,
Jan Pettersen Nytun,
Andreas Prinz,
Mikael Snaprud,
Merete Skjelten Tveit:
Modelling Accessibility Constraints.
ICCHP 2006: 40-47 |