Publikationer (1058)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Första sidan Föregående sida2/43 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 Y Z В Г О С Э Alla 
A4 Konferenspublikationer
Formalising UML State Machines for Model Checking (1999)
Johan Lilius, Iván Porres Paltor
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A4 Konferenspublikationer
Husdjuren i sydvästra Finland (1999)
Niklas Huldén
Dansk Landbrugsmuseums Forlag
Gl. Estrup
A4 Konferenspublikationer
Mobile Components as Topological Action Systems (1999)
Petre L, Waldén M
A4 Konferenspublikationer
Timing analysis of UML sequence diagrams (1999)
Xuandong Li, Johan Lilius
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
vUML: A Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
IEEE Computer Society
Visa på utgivarens sida
A4 Konferenspublikationer
An Expandable Protocol Processor Architecture (2000)
Seppo Virtanen, Johan Lilius
A4 Konferenspublikationer
A Processor Architecture for the TACO Protocol Processor Development Framework (2000)
Seppo Virtanen, Johan Lilius, Tomi Westerlund
A4 Konferenspublikationer
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuoandong Li, Johan Lilius
IEEE Computer Society
A4 Konferenspublikationer
Components vs. Objects (2000)
Petre L
A4 Konferenspublikationer
Developing Control Systems Components (2000)
Petre L, Sere K
A4 Konferenspublikationer
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A4 Konferenspublikationer
Modeling of gaseous fuel combustion using the Eddy Break-Up model combined with fast chemistry or finite rate chemistry (2000)
Brink A, Mueller C, Kilpinen P, Hupa M
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Konferenspublikationer
Modeling of short-time penetration into complex porous structures (2000)
D. Bousfield, M. Toivakka, S. Pellerin
TAPPI Press
A4 Konferenspublikationer
Pore space characterization of coating layers (2000)
Martti Toivakka, Kjell Nyfors
TAPPI Press
TAPPI Press
A4 Konferenspublikationer
Predicting the performance of different fuels in fluidized bed combustion (2000)
Hupa M, Kilpinen P, Kallio S, Konttinen J, Skrifvars BJ, Zevenhoven M, Backman R
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Konferenspublikationer
The Production Cell: An Exercise in the Formal Verification of a UML Model (2000)
Lilius J, Porres Paltor I
IEEE Computer Society
A4 Konferenspublikationer
The role of the International Flame Research Foundation's industrial networking activities in the dissemination of research information (2000)
Roberts PA, Hupa M, Thijssen NJW
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Konferenspublikationer
Absorption of HCl and HF by Ca-based sorbents at FBC conditions (2001)
Partanen J, Backman P, Hupa M
American Society of Mechanical Engineers, ASME
A4 Konferenspublikationer
Active learning of mathematics (2001)
Ann-Sofi Röj-Lindberg
James Henare Maori Research Centre for the International Consortium for Experiential Learning
A4 Konferenspublikationer
Ammonia formation and release in the kraft recovery cycle: An overview (2001)
Kymäläinen M, Forssen M, DeMartini N, Hupa M
A4 Konferenspublikationer
Dust and flue gas chemistry during rapid changes in boiler load - full scale mill studies (2001)
Tamminen T, Kiuru J, Kiuru R, Janka K, Hupa M
A4 Konferenspublikationer
Dust and flue gas chemistry during rapid changes in boiler load - full scale mill studies (2001)
Tamminen T, Kiuru J, Kiuru R, Janka K, Hupa M
A4 Konferenspublikationer
Fireside behavior of black liquors containing boron (2001)
Hupa M, Forssen M, Backman R, Stubbs A, Bolton R
A4 Konferenspublikationer
Influence of composition on the formation of melt near the floor tubing of kraft recovery boilers (2001)
Backman R, Hupa M, Södergård B, Pulliainen M, Svensson C
VTT
10 | 25 | 50 | 100 
Första sidan Föregående sida2/43 Nästa sida Sista sidan
Dela länk