Publikationer (16)

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
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Model-Based Performance Testing Using the MBPeT Tool (2013)
Tanwir Ahmad, Fredrik Abbors, Dragos Truscan, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Modular Verification of Finite Blocking in Non-terminating Programs (2014)
Pontus Boström, Peter Müller
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mitä Sipilä oikeastaan sanoi tv-puheessaan? (2015)
Kimmo Elo
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 Nästa sida Sista sidan
Dela länk