Titlebook: Software Engineering and Formal Methods; SEFM 2015 Collocated Domenico Bianculli,Radu Calinescu,Bernhard Rumpe Conference proceedings 2015

恩惠

Conference proceedings 2015Evaluation;.HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;.MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;.VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems..

dura-mater

伴随而来

Behavioral Types for Component-Based Development of Cyber-Physical Systemsl types easily usable by non-experts. Besides of a semantics that resembles traditional types systems, our method offers a syntax based on easily comprehensible regular expressions while systems can be verified using fully-automatic tools.

共同给与

DEBT

Quantitative Modelling of Residential Smart Gridswith neighbours and between neighbourhoods. Both demand and wind availability are modelled stochastically, and the goal of the modelling is to understand the behaviour of the system under different redistribution policies that use local knowledge with spatial heterogeneity in wind availability.

意外