Models having two kinds of components that produce the same or similar results.
forum
Submitted by Anonymous on Mon, 08/18/2014 - 12:40pm
11th International Conference on integrated Formal Methods, iFM 2014
Co-located with the 11th International Symposium on Formal Aspects of Component Software, FACS 2014
9 - 12 September 2014, Bertinoro, Italy
http://ifm2014.cs.unibo.it
forum
Submitted by Anonymous on Tue, 06/24/2014 - 3:18pm
23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015)
March 4-6, 2015, Turku, Finland
http://www.pdp2015.org/
General Scope
forum
Submitted by Anonymous on Mon, 04/21/2014 - 3:09pm
In the corporate research division ,,Software Intensive Systems" of the Bosch Group in Stuttgart Area, Germany, there are currently two open PhD positions in the same line of research:
1) Verification of Hybrid Systems:
Many innovations in Bosch products and services are based on embedded software that interacts with the physical world through sensors and actuators. The correctness of the resulting system -- software interacting with its environment -- is a chief success factor.
forum
Submitted by Anonymous on Wed, 03/26/2014 - 3:20pm
CALL FOR PAPERS - CONCUR 2014
===================================
25th International Conference on Concurrency Theory September 1-6, 2014
- Rome, Italy http://concur2014.org
The purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of concurrency,
and promote its applications.
IMPORTANT DATES
Abstract Submission: April 14, 2014
