Computer Aided Systems Theory - EUROCAST '95 : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 1030
- ISBN:
- 9783540493587 [3540493581]
- 注記:
- On the structure of discrete systems -- Identification and recognition through shape in complex systems -- A logical approach to system construction -- Task management system -- Toward a unified theory of discrete event systems -- Intersensorial transformations: General systems description and implications -- Proving system properties by means of trigger-graph and Petri nets -- Refinement mapping for general (discrete event) systems theory -- A system-theoretic approach to planning and programming -- Equality of functions in CAST -- Basins of attraction estimation through symbolic graphical computing techniques -- Temporal and functional verification of a symbolic representation of complex systems -- Modelling differential equations by basic information technology means -- System theoretic aspects of software architectures -- A language for describing complex-evolutive software systems -- An architecture for process modelling and execution support -- A formal semantics for a graphical model representation in
This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer | |