Altran - PDFSEARCH.IO - Document Search Engine

Altran
Results: 78

#	Item
21	TALLERES 1 TALLERES1 2 TALLERES2 3 TALLERES3 4 TALLERES4 5 TALLERES5 Add to Reading List Source URL: www.ideable.net Language: English - Date: 2015-05-21 03:10:06 ASOC DigiPen Institute of Technology Redmond Washington Altran
22	Comments on Energy RD&D Paper 19 May 2005 Submitted by: Dr. John Cooney, Claire Shellshear Altran Technologies Ireland Add to Reading List Source URL: www.dcenr.gov.ie Language: English - Date: 2015-05-16 09:29:47 Energy development Energy security National security Energy service company Sustainability Renewable Energy and Energy Efficiency Partnership Sustainable energy Energy economics Energy Energy conservation
23	SACS Boysen / Gehr allsafe Dräxlmaier Group Add to Reading List Source URL: www.hanse-aerospace.net Language: English - Date: 2015-03-11 10:30:59 Lufthansa Lufthansa Technik Air Berlin Altran Jenoptik Time:matters Hamburg States of Germany Transport Aviation
24	Sector Review december 2013 The Consulting Engineering and Architectural Groups A Swedish and International survey Add to Reading List Source URL: www.frinet.dk Language: English - Date: 2014-01-24 05:44:43 Altran Europe Economy of Sweden Sweden
25	ANDRO: An Argo-based deep displacement atlas Michel Ollitrault1 & Jean-Philippe Rannou2 1 IFREMER Brest France 2 ALTRAN Ouest Brest France Add to Reading List Source URL: www.argo.ucsd.edu Language: English - Date: 2010-04-12 03:00:00 Argo Fisheries science Physical oceanography Graphics file formats NetCDF STL Atlantic Oceanographic and Meteorological Laboratory Code Data file Oceanography Computer file formats Computing
26	17.6 editorial 685 MH[removed]:57 pm Add to Reading List Source URL: www.caedefensefund.org Language: English - Date: 2011-12-15 15:05:07 Cosmic rays Radiation Air shower Altran Foundation for Innovation Compton Gamma Ray Observatory Rochester Institute of Technology Altran Spacecraft Physics Astrophysics
27	Rail, Space, Security: Three Case Studies for SPARK 2014 Claire Dross4 , Pavlos Efstathopoulos1 , David Lesens2 , David Mentr´e3 and Yannick Moy4 1: Altran UK Limited, 22 St Lawrence Street, Bath BA1 1AN (United Kingdom Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-12-05 09:31:12 Ada programming language SPARK Ada Monitor Formal methods Subroutine Vienna Development Method Computing Software engineering Computer programming
28	EAL5 Demonstrator: Summary Report Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-01-20 12:19:49 Evaluation Systems engineering Evaluation Assurance Level Common Criteria Biometrics SPARK Reliability engineering Altran Praxis Operating system Computing Security Computer security
29	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
30	Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-01-21 09:38:38 Software engineering Formal methods Evaluation Ada programming language SPARK Reliability engineering Evaluation Assurance Level Functional specification Common Criteria Software development Computing Systems engineering