A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
event
Submitted by Anonymous on Wed, 01/08/2014 - 2:07pm
12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14)
Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, 19-21 October, 2014
forum
Submitted by Anonymous on Wed, 01/08/2014 - 2:02pm
12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14)
Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, 19-21 October, 2014
Collocated with FMCAD 2014
forum
Submitted by Anonymous on Wed, 11/27/2013 - 11:46am
CALL FOR PAPERS
17th IEEE Symposium on Object/Component/Service-oriented
Real-time Distributed Computing
file
Abstract:
This project's objective is to enable assertion--driven development and debugging cyber-- physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.
event
Submitted by Anonymous on Wed, 08/14/2013 - 11:11am
ACM Symposium On Applied Computing
For the past twenty-eight years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world.
SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by
Seoul National University, Kyungpook National University, Soongsil University and Dongguk University.
