Konrad - PDFSEARCH.IO - Document Search Engine

Konrad
Results: 1560

#	Item
1	Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Software engineering Computing Avionics Engineering Systems engineering Software requirements Embedded systems Safety engineering DO-178C Formal methods Alt-Ergo Model checking
2	PDF Document Add to Reading List Source URL: www.bz-st-konrad.de - Date: 2017-10-09 09:47:36
3	PDF Document Add to Reading List Source URL: www.bz-st-konrad.de - Date: 2017-11-07 17:06:40
4	PDF Document Add to Reading List Source URL: www.bz-st-konrad.de - Date: 2017-11-12 07:11:48
5	PDF Document Add to Reading List Source URL: www.bz-st-konrad.de - Date: 2017-11-08 03:38:20
6	PDF Document Add to Reading List Source URL: www.bz-st-konrad.de - Date: 2017-10-25 15:53:11
7	Project proposal to the Konrad Adenauer Stiftung for 2011 Add to Reading List Source URL: www.analyticamk.org Language: Macedonian - Date: 2013-09-24 16:25:22
8	Notification of Major Holdings 1. Details of issuer Nemetschek SE Konrad-Zuse-PlatzMünchen Germany Add to Reading List Source URL: www.nemetschek.com Language: English - Date: 2017-11-30 10:18:05
9	In: Proc. International Symposium of Robotics Research (ISRR), Siestre-Levante, ItalyAn Approximate Inference Approach to Temporal Optimization for Robotics Konrad Rawlik, Dmitry Zarubin, Marc Toussaint, and Se Add to Reading List Source URL: ipvs.informatik.uni-stuttgart.de Language: English - Date: 2017-10-01 09:42:38
10	Advancing Environmental Science Through Data Sharing Gian-Kasper Plattner & Konrad Steffen 1 1Swiss Add to Reading List Source URL: www.icdc10.unibe.ch Language: English - Date: 2017-11-20 09:00:34

UPDATE