A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
forum
Submitted by Anonymous on Wed, 01/28/2015 - 1:12pm
forum
Submitted by Anonymous on Mon, 01/19/2015 - 10:45am
CALL FOR PAPERS (incl. deadline extension due to popular demand)
FMICS 2015
20th International Workshop on Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)
22-23 June 2015, Oslo, Norway
In co-location with FM 2015: 20th International Symposium on Formal Methods
forum
Submitted by Anonymous on Mon, 01/12/2015 - 12:42pm
FORTE 2015
A DisCoTec Member Conference
35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
discotec2015.inria.fr/
taking place on June 2-4, 2015 in Grenoble, France
event
Submitted by Anonymous on Mon, 01/12/2015 - 12:21pm
The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. The ESSS 2015 workshop is affiliated with FM 2015.
forum
Submitted by Anonymous on Mon, 01/12/2015 - 12:18pm
4th International Workshop on Engineering Safety and Security Systems
June 22, 2015, Oslo, Norway
Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015
More information:
http://pat.sce.ntu.edu.sg/esss15/
Important dates
forum
Submitted by Anonymous on Mon, 01/12/2015 - 12:08pm
The Work-in-Progress (WiP) session at RTAS 2015 is dedicated to new and on-going research in the field of real-time and embedded systems. Authors are invited to submit short abstracts (up to 2 pages) describing ongoing, unpublished work in all areas of real-time and embedded technology, including applications, systems, tools, methodologies, foundations, wireless sensor networks, and hardware-software co-design. In keeping with the spirit of the main symposium, submissions with an emphasis on systems and application aspects are especially encouraged.
event
Submitted by Anonymous on Tue, 12/23/2014 - 1:00pm
The 9th IEEE/ACM International Symposium on Networks-on-Chip (NOCS 2015) will be held September 28 - 30, 2015 in Vancouver, Canada
forum
Submitted by Anonymous on Tue, 12/23/2014 - 12:54pm
Call for Papers
9th IEEE/ACM International Symposium on Networks-on-Chip
September 28 - 30, 2015
Vancouver, Canada
event
Submitted by Anonymous on Tue, 12/23/2014 - 12:27pm
The ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series.
