Teaching

Software Design for Industry Automation (Luleå Tekniska Universitet)

Formal methods for engineers (The University of Auckland)

buy cialis without prescription When a man cannot achieve or maintain erection for long enough to enjoy sex. Regular on line cialis use of this natural supplement can significantly improve your condition. Liver and kidney patients should strictly avoid this medication and if you viagra pfizer 25mg are taking any other medication like nitrates then consult your doctor first. Such men who don’t have the energy in their sexual organ gets an erection when they have sex as the effect of this ED drug does not wear off for 36 hours; comparatively online cialis the other two ED drugs hardly offers 4-6 hours effect. Introduction to Modelling and Validation of Automation Systems (HTML)

Modelling and formal verification of automation and control systems using NCES and ViVe (PDF, 4 Mb)