![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/eurocast/eurocast1995.bht:"
@proceedings{DBLP:conf/eurocast/1995, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0034745}, doi = {10.1007/BFB0034745}, isbn = {3-540-60748-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/AgsteinerMS95, author = {Karlheinz Agsteiner and Dieter Monjau and S{\"{o}}ren Schulze}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Object-Oriented High Level Modeling of Complex Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {332--340}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034771}, doi = {10.1007/BFB0034771}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/AgsteinerMS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Albrecht95, author = {Rudolf F. Albrecht}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {On the Structure of Discrete Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {3--18}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034746}, doi = {10.1007/BFB0034746}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Albrecht95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/AraujoM95, author = {Carmen Paz Su{\'{a}}rez Araujo and Roberto Moreno{-}D{\'{\i}}az}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Intersensorial Transformations: General Systems Description and Implications}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {73--87}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034751}, doi = {10.1007/BFB0034751}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/AraujoM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/BextenM95, author = {Erdmuthe Meyer zu Bexten and Claudio Moraga}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {A User-Interface for a Microsystems High-Level Simulator}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {228--236}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034763}, doi = {10.1007/BFB0034763}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/BextenM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Brielmann95, author = {Maria Brielmann}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Modelling Differential Equations by Basic Information Technology Means}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {163--174}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034758}, doi = {10.1007/BFB0034758}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Brielmann95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/BustioCM95, author = {Francisco Bustio and Pedro Corcuera and Eduardo Mora}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Training Simulator for Garo{\~{n}}a Nuclear Power Plant}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {523--529}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034786}, doi = {10.1007/BFB0034786}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/BustioCM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Candela-SolaGAM95, author = {Santiago Candela Sol{\'{a}} and Christophe Garcia and Francisco Alay{\'{o}}n Hern{\'{a}}ndez and J. Mu{\~{n}}oz}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Cast System Approach for Visual Inspection}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {459--464}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034781}, doi = {10.1007/BFB0034781}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Candela-SolaGAM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/ChroustJ95, author = {Gerhard Chroust and Witold Jacak}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm?}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {403--414}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034776}, doi = {10.1007/BFB0034776}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/ChroustJ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Dubois95, author = {Daniel M. Dubois}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Introduction of the Aristotle's Final Causation in {CAST:} Concept and Method of Incursion and Hyperincursion}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {477--493}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034783}, doi = {10.1007/BFB0034783}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Dubois95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Dubois95a, author = {Daniel M. Dubois}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {A Semantic Logic for {CAST} Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {494--510}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034784}, doi = {10.1007/BFB0034784}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Dubois95a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Fonseca95, author = {Jos{\'{e}} Barahona da Fonseca}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {511--522}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034785}, doi = {10.1007/BFB0034785}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Fonseca95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Glasser95, author = {Uwe Gl{\"{a}}ser}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {375--385}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034774}, doi = {10.1007/BFB0034774}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Glasser95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/HamaidiBMCZ95, author = {Lyes Hamaidi and Patrick Bourseau and Gilles Muratet and Jerry M. Couretas and Bernard P. Zeigler}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {386--402}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034775}, doi = {10.1007/BFB0034775}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/HamaidiBMCZ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Hill95, author = {Gillian Hill}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {A Logical Approach to System Construction}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {30--47}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034748}, doi = {10.1007/BFB0034748}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Hill95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/JacakD95, author = {Witold Jacak and Stephan Dreiseitl}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Hybrid Evolutionary Programming: the Tools for {CAST}}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {289--304}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034768}, doi = {10.1007/BFB0034768}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/JacakD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/JoslynH95, author = {Cliff A. Joslyn and Scott Henderson}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {{CAST} Extensions to {DASME} to Support Generalized Information Theory}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {237--252}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034764}, doi = {10.1007/BFB0034764}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/JoslynH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/KahlertKM95, author = {Stefan Kahlert and Thomas Kruse and Dieter Monjau}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {A Formal Semantics for a Graphical Model Representation in System Design}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {217--227}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034762}, doi = {10.1007/BFB0034762}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/KahlertKM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Kapsner95, author = {Franz Kapsner}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {System Theoretic Aspects of Software Architectures}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {175--180}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034759}, doi = {10.1007/BFB0034759}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Kapsner95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/KlempousLN95, author = {Ryszard Klempous and Barbara Lysakowska and Jan Nikodem}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Supervisory Control and Data Acquisition System for the Gas Flow Networks}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {530--538}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034787}, doi = {10.1007/BFB0034787}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/KlempousLN95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Kocourek95, author = {Christine Kocourek}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {An Architecture for Process Modeling and Execution Support}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {201--216}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034761}, doi = {10.1007/BFB0034761}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Kocourek95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/LarnacMVDC95, author = {Mireille Larnac and Janine Magnier and Eric Vandermeulen and G{\'{e}}rard Dray and Vincent Chapurlat}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Temporal and Functional Verification of a Symbolic Representation of Complex Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {151--162}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034757}, doi = {10.1007/BFB0034757}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurocast/LarnacMVDC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/MenezesCS95, author = {Paulo Blauth Menezes and Jos{\'{e}} F{\'{e}}lix Costa and Am{\'{\i}}lcar Sernadas}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Refinement Mapping for General (Discrete Event) Systems Theory}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {103--116}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034753}, doi = {10.1007/BFB0034753}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/MenezesCS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/MiroM95, author = {Josep Mir{\'{o}} and Margaret Mir{\'{o}}{-}Juli{\`{a}}}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Equality of Functions in {CAST}}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {129--136}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034755}, doi = {10.1007/BFB0034755}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/MiroM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/OteroBCL95, author = {Ram{\'{o}}n P. Otero and Alvaro Barreiro and Pedro Cabalar and David Lorenzo}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Discrete Event Simulation in an Environment for Temporal Expert Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {271--282}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034766}, doi = {10.1007/BFB0034766}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/OteroBCL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/OteroLC95, author = {Ram{\'{o}}n P. Otero and David Lorenzo and Pedro Cabalar}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Automatic Induction of {DEVS} Structures}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {305--313}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034769}, doi = {10.1007/BFB0034769}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/OteroLC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/ParetsT95, author = {Jos{\'{e}} Parets{-}Llorca and Juan Carlos Torres}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {A Language for Describing Complex-Evolutive Software Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {181--197}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034760}, doi = {10.1007/BFB0034760}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/ParetsT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/PichlerS95, author = {Franz Pichler and Josef Scharinger}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {465--476}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034782}, doi = {10.1007/BFB0034782}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/PichlerS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/PraehoferP95, author = {Herbert Praehofer and Franz Pichler}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Multifacetted, Object Oriented Modeling in the Transportation Domain}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {341--357}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034772}, doi = {10.1007/BFB0034772}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/PraehoferP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Quevedo-LosadaBM95, author = {Juan Carlos Quevedo{-}Losada and Olga Bol{\'{\i}}var Toledo and Roberto Moreno{-}D{\'{\i}}az}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Cast Methods for Generation of Non-Orthogonal Complete Transforms}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {447--458}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034780}, doi = {10.1007/BFB0034780}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Quevedo-LosadaBM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Rattray95, author = {Charles Rattray}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Identification and Recognition through Shape in Complex Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {19--29}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034747}, doi = {10.1007/BFB0034747}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Rattray95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Rodriguez-Millan95, author = {Jes{\'{u}}s Rodr{\'{\i}}guez{-}Mill{\'{a}}n}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {137--150}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034756}, doi = {10.1007/BFB0034756}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Rodriguez-Millan95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Rodriguez-MillanC95, author = {Jes{\'{u}}s Rodr{\'{\i}}guez{-}Mill{\'{a}}n and Juan Cardillo}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Symbolic Computing Aided Design of Nonlinear {PID} Controllers}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {253--270}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034765}, doi = {10.1007/BFB0034765}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Rodriguez-MillanC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Roszkowska95, author = {Elzbieta Roszkowska}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {423--436}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034778}, doi = {10.1007/BFB0034778}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Roszkowska95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Sato95, author = {Ryo Sato}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Toward a unified theory of discrete event systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {62--72}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034750}, doi = {10.1007/BFB0034750}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Sato95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/SchafferRS95, author = {Christoph Schaffer and R. J. Raschhofer and A. Simma}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {EaSy-Sim: {A} Tool Environment for the Design of Complex, Real-Time Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {358--374}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034773}, doi = {10.1007/BFB0034773}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/SchafferRS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/SchweizerV95, author = {Gerhard Schweizer and Markus Voss}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Systems Engineering and Infrastructures for Open Computer Based Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {317--331}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034770}, doi = {10.1007/BFB0034770}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/SchweizerV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Sierocki95, author = {Ireneusz Sierocki}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {A System-Theoretic Approach to Planning and Programming}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {117--128}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034754}, doi = {10.1007/BFB0034754}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Sierocki95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/SydowLS95, author = {Achim Sydow and Thomas Lux and Ralf{-}Peter Sch{\"{a}}fer}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {High-Performance Parallel Computing for Analyzing Urban Air Pollution}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {417--422}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034777}, doi = {10.1007/BFB0034777}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/SydowLS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/TakaharaC95, author = {Yasuhiko Takahara and Xiaohong Chen}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Task Management System}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {48--61}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034749}, doi = {10.1007/BFB0034749}, timestamp = {Wed, 16 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/TakaharaC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/Thurner95, author = {Erwin M. Thurner}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Proving System Properties by Means of Trigger-Graph and Petri Nets}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {88--102}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034752}, doi = {10.1007/BFB0034752}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/Thurner95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/ThurnerW95, author = {Erwin M. Thurner and C. Wincheringer}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {{TOMSPIN} - {A} Tool for Modeling with Stochastic Petri Nets}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {283--288}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034767}, doi = {10.1007/BFB0034767}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/ThurnerW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/VysokyP95, author = {Petr Vysok{\'{y}} and Zdenek Pechal}, editor = {Franz Pichler and Roberto Moreno{-}D{\'{\i}}az and Rudolf F. Albrecht}, title = {Computer Aided Rule Extraction from Examples}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1030}, pages = {437--446}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0034779}, doi = {10.1007/BFB0034779}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/VysokyP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.