Industrial Internet of Things: System and Software Engineering
Software-intensive Industrial Automation, Holonics, Artificial Intelligence, Function blocks of IEC 61499, Service-oriented architectures, Software tools and Software engineering in Automation, Applications in Material Handling, SmartGrid, Smart Homes, Manufacturing, Logistics and Agriculture (Selected publications)
Internet of Energy
When a member of your family is viagra online france not having a firm erection while having sexual activity. One is by adding a bone graft to lengthen the visit for more info now generic viagra germany toe. But you should go to your doctor for foods online prescriptions for cialis helpful to enhance the quality of erections. The main active djpaulkom.tv levitra properien ingredient is Sildenafil Citrate. Automation of microgrids, substations, datacentres, district heating, etc., based on the Internet-like peer-to-peer collaboration architecture. (Roadmap and selected publications)
Verification of Automation Systems with Formal Methods, Modelling and Simulation
Testing and comprehensive verification of automation software (especially for complex distributed systems) using cyber-physical systems methods, formal modelling and exhaustive computational model-checking. (Selected publications)