Integrating models from a wide variety of sources and in many file formats maximizing utility to all of the parties across the project organization.
event
Submitted by Anonymous on Tue, 08/27/2013 - 1:43pm
Conference on High Confidence Networked Systems (HiCoNS) at CPSWeek 2014
3rd ACM International Conference on High Confidence Networked Systems (HiCoNS) will be held April 15-17, 2014 in Berlin, Germany as part of Cyber Physical Systems Week 2014 (CPSWeek 2014).
forum
Submitted by Anonymous on Tue, 08/27/2013 - 1:38pm
The 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS)
Preliminary Call for Papers
April 15-17, 2014
Berlin, Germany
http://www.hi-cons.org/index.htm
news
Submitted by Kevin Smyth on Thu, 06/06/2013 - 2:27pm
forum
Submitted by Anonymous on Fri, 04/19/2013 - 3:58pm
LPAR-19
1st CALL FOR PAPERS
CALL FOR WORKSHOP PROPOSALS
============================================================
The 19th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
============================================================
forum
Submitted by Anonymous on Fri, 04/19/2013 - 3:07pm
