Publications (39)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page4/4 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
The Uva Virtual Machine (2003)
Dan Österberg, Johan Lilius
D4 Published development or research report or study
Tool Support for DFD to UML Model-Based Transformations (2003)
Dragos Truscan, João Miguel Fernandes, Johan Lilius
D4 Published development or research report or study
The entrepreneur's initial contact with a venture capitalist: why good projects may choose to wait (1999)
Tom Berglund, Edvard Johansson
D4 Published development or research report or study
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Published development or research report or study
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
The Hathi-2 Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back, T-E. Malén
D4 Published development or research report or study
The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report) (1989)
M. Aspnäs, R.J.R. Back, K. Sere
10 | 25 | 50 | 100 
First page Previous page4/4 Next page Last page
Share link Export