Proceedings First International Workshop on Hybrid Systems and Biology

@inproceedings{Bartocci2012ProceedingsFI,
  title={Proceedings First International Workshop on Hybrid Systems and Biology},
  author={Ezio Bartocci and Luca Bortolussi},
  year={2012}
}
This volume contains the proceedings of the First International Workshop on Hybrid Systems and Biology (HSB 2012), that will be held in Newcastle upon Tyne, UK, on the 3rd September, 2012. HSB 2012 is a satellite event of the 23rd International Conference on Concurrency Theory (CONCUR 2012). This workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible… 

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

The track on Engineering Virtualized Services aims to discuss key challenges that need to be addressed to enable software development methods to target resource-aware virtualized services and to gain control of the virtualized resources on the cloud.