Publications (17)

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
Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (2016)
Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre
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
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
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
D4 Published development or research report or study
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
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
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel 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
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
Share link Export