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 Tue, 11/04/2014 - 6:07pm
CALL FOR PAPERS
*** Deadline extension: Nov 18, 2014 ***
The 7th NASA Formal Methods Symposium
http://www.NASAFormalMethods.org/nfm2015
27 - 29 April 2015
Pasadena, California, USA
THEME
The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.
event
Submitted by Anonymous on Tue, 11/04/2014 - 5:42pm
The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015)
Scope and Topics of Interest
ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. We invite original submissions from academia and industry pertaining to all aspects of ORC technology. These include, but are not limited to:
event
Submitted by Anonymous on Fri, 10/24/2014 - 12:41pm
forum
Submitted by Anonymous on Fri, 10/24/2014 - 12:37pm
event
Submitted by Anonymous on Fri, 10/24/2014 - 12:02pm
26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS
29 June - 1 July, 2015, Warsaw, Poland
co-located with TLCA, as part of RDP 2015
http://rdp15.mimuw.edu.pl/
RTA is the major forum for the presentation of research on all
aspects of rewriting. Topics of interest include:
