Models having two kinds of components that produce the same or similar results.
forum
Submitted by Anonymous on Wed, 02/24/2016 - 12:20pm
event
Submitted by Anonymous on Wed, 02/24/2016 - 12:19pm
CALL FOR PAPERS
23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)
Aim
forum
Submitted by Anonymous on Mon, 02/15/2016 - 1:12pm
CALL FOR PAPERS
Quebec City, Canada | 23-26 August 2016 | http://www.concur2016.ulaval.ca/
co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).
event
Submitted by Anonymous on Mon, 02/15/2016 - 1:06pm
The 27th International Conference on Concurrency Theory (CONCUR2016)
The 27th International Conference on Concurrency Theory will take place in Quebec City, Canada, 23-26 August 2016. The event will be co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).
forum
Submitted by Anonymous on Mon, 02/15/2016 - 12:56pm
CALL FOR PAPERS WORK-IN-PROGRESS SESSION
12th IEEE World conference on Factory Communication Systems (WFCS 2016)
May 3-6, 2016 | Aveiro, Portugal | http://www.av.it.pt/wfcs2016/
Sponsored by: University of Aveiro, Portugal Telecommunications Institute, Portugal IEEE Industrial Electronics Society
Author's Schedule:
forum
Submitted by Anonymous on Mon, 02/15/2016 - 12:43pm
event
Submitted by Anonymous on Mon, 02/15/2016 - 12:42pm
14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016)
FORMATS'16 takes place at Hotel Chateau Laurier in Quebec City, Canada, where it is colocated with CONCUR'16 and QEST'16.
Objectives
forum
Submitted by Anonymous on Mon, 02/15/2016 - 12:13pm
event
Submitted by Anonymous on Mon, 02/15/2016 - 12:12pm
10th International Workshop on Verification and Evaluation of Computer and Communication Systems
Tunis, Tunisia, October 6-7, 2016 | http://www.vecos-world.org
forum
Submitted by Anonymous on Wed, 02/03/2016 - 5:11pm