Publikationer (20)

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
Förekomsten av toxiska blågrönalger i Åländska insjöar (1988)
Diana Toivola, John Eriksson, Jussi Meriluoto
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006)
Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Från opinion till deliberation (2008)
Marina Lindell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Feedback theory extended for proving generation of contraction semigroups (2014)
Mikael Kurula, Hans Zwart
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 Nästa sida Sista sidan
Dela länk