No. Title Author Year
1 A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal Feng, Lu et al. 2014
2 Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Feiler, Peter et al. 2012
3 10451 Abstracts Collection -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Havelund, Klaus et al. 2011
4 10451 Executive Summary -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Havelund, Klaus et al. 2011
5 07011 Abstracts Collection -- Runtime Verification Finkbeiner, Bernd et al. 2008
6 07011 Executive Summary -- Runtime Verification Finkbeiner, Bernd et al. 2008
7 Runtime Verification for Wireless Sensor Network Applications Sokolsky, Oleg et al. 2008
8 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification Batt, Gregory et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI