Publikationer (18)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 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
Cancerpatienter och användningen av journal via nätet (2015)
Hanife!Rexhepi, Åsa!Cajander, Rose>Mharie!Åhlfeldt, Isto!Huvila
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuandong Li, Johan Lilius
TUCS Publication Series
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Checking Timing Petri Nets for Linear Duration Properties (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Combining Visual Customer Segmentation and Response Modeling (2011)
Yao Zhiyuan, Sarlin Peter, Eklund Tomas, Back Barbro
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Complete Characterization for the Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2015)
Cristian Gratie, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Complexity of Model Checking for Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Components vs. Objects (2000)
Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Coordination Among Mobile Objects (1998)
Petre L, Sere K
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 Nästa sida Sista sidan
Dela länk