Loer, K. (2003). Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York, UK. pending. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Model-Based Formal Analysis of Temporal Aspects in.. - Loer, Harrison (2003) Self-citation (Loer) (Correct)
No context found.
Loer, K. (2003). Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York, UK. pending.
Integrating Model Checking with the Industrial Design of.. - Karsten Loer And Self-citation (Loer) (Correct)
No context found.
Loer, K. (2003). Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York, UK.
Unknown - Dependability Of Computer-Based (Correct)
No context found.
K. Loer. Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York, UK, 2003. pending.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC