Đang chuẩn bị liên kết để tải về tài liệu:
Model-Based Design for Embedded Systems- P47

Model-Based Design for Embedded Systems- P47: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 436 Model-Based Design for Embedded Systems Tolerant Systems Seventh International Symposium FTRTFT 02 Oldenburg Germany LNCS 2469 205-224 September 2002 Springer Berlin Heidelberg. 103. S. Tripakis. Folk theorems on the determinization and minimization of timed automata. Information Processing Letters 99 6 222-226 September 2006. 104. S. Tripakis. What is resource-aware verification Unpublished document 2008. Available from the author s web page. 105. S. Tripakis and C. Courcoubetis. Extending promela and spin for real time. In T. Margaria and B. Steffen editors Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems TACAS 96 Passav Germany LNCS 1055 329-348 March 1996 Springer Berlin Heidelberg. 106. S. Tripakis and S. Yovine. Analysis of timed systems using timeabstracting bisimulations. Formal Methods in System Design 18 1 25-68 January 2001. 107. A. van der Schaft and H. Schumacher. An Introduction to Hybrid Dynamical Systems. LNCIS 251 2000 Springer Berlin Germany. 108. B. Wile J. Goss and W. Roesner. Comprehensive Functional Verification. Elsevier San Francisco CA 2005. 109. M. De Wulf L. Doyen and J.-F. Raskin. Almost ASAP semantics From timed models to timed implementations. In Hybrid Systems Computation and Control HSCC 04 Philadelphia PA LNCS 2993 2004 Springer Berlin Heidelberg. 110. M. Yannakakis and D. Lee. An efficient algorithm for minimizing realtime transition systems. In Fifth International Conference on Computer-Aided Verification Elounda Greece LNCS 697 June 1993. 111. J. Yuan C. Pixley and A. Aziz. Constraint-Based Verification. Springer New York 2006. 112. H. Zhu P. Hall and J. May. Software unit test coverage and adequacy. ACM Computing Surveys 29 4 366-427 1997. 14 Semantics of Domain-Specific Modeling Languages Ethan Jackson Ryan Thibodeaux Joseph Porter and Janos Sztipanovits CONTENTS 14.1 Introduction . 438 14.2 Domain-Specific Modeling Languages. 440 14.2.1 DSML Specification Informal and Formal .