<--- Back to Details
First PageDocument Content
Systems engineering / Quality / Safety engineering / Engineering / INESC Porto / Reliability engineering / Fault injection / Single event upset / Dependability / Electronic engineering / Technology / Electronics
Date: 2009-06-08 03:59:34
Systems engineering
Quality
Safety engineering
Engineering
INESC Porto
Reliability engineering
Fault injection
Single event upset
Dependability
Electronic engineering
Technology
Electronics

Microsoft Word - IOLTS09-Final-Program.doc

Add to Reading List

Source URL: tima.imag.fr

Download Document from Source Website

File Size: 276,10 KB

Share Document on Facebook

Similar Documents

Computing / Data management / Data / Business intelligence / Database management systems / Technology forecasting / Transaction processing / Dan Suciu / Big data / Probabilistic database / Data science / Analytics

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document

Theoretical computer science / Helmut Veith / Formal methods / TU Wien / Institute for Applied Information Processing and Communications / Software engineering / Verification / Formal verification / Computing

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

DocID: 1xUZO - View Document

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

DocID: 1xUnB - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document