Publications (308)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page3/31 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
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Published development or research report or study
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Published development or research report or study
OB(PN)² : An Object Based Petri Net Programming Notation (1999)
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
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
10 | 25 | 50 | 100 
First page Previous page3/31 Next page Last page
Share link Export