Publications (16)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
D4 Published development or research report or study
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Published development or research report or study
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Published development or research report or study
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Published development or research report or study
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Published development or research report or study
Model-Based Performance Testing Using the MBPeT Tool (2013)
Tanwir Ahmad, Fredrik Abbors, Dragos Truscan, Ivan Porres
D4 Published development or research report or study
Modular Verification of Finite Blocking in Non-terminating Programs (2014)
Pontus Boström, Peter Müller
View on publisher's site
D4 Published development or research report or study
Mitä Sipilä oikeastaan sanoi tv-puheessaan? (2015)
Kimmo Elo
D4 Published development or research report or study
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
Share link Export