Publikationer (289)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Första sidan Föregående sida3/29 Nästa sida Sista sidan
A Å B C D E F G H I J K L M N O P Q R S T U V W Alla 
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
OB(PN)² : An Object Based Petri Net Programming Notation (1999)
Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The entrepreneur's initial contact with a venture capitalist: why good projects may choose to wait (1999)
Tom Berglund, Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
10 | 25 | 50 | 100 
Första sidan Föregående sida3/29 Nästa sida Sista sidan
Dela länk