Conferences in DBLP
Rudolf F. Albrecht On the Structure of Discrete Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Rattray Identification and Recognition through Shape in Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gillian Hill A Logical Approach to System Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhiko Takahara , Xiaohong Chen Task Management System. [Citation Graph (0, 0)][DBLP ] Conf ] Ryo Sato Toward a unified theory of discrete event systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carmen Paz Suárez Araujo , Roberto Moreno-Díaz Intersensorial Transformations: General Systems Description and Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Erwin M. Thurner Proving System Properties by Means of Trigger-Graph and Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Blauth Menezes , José Félix Costa , Amílcar Sernadas Refinement Mapping for General (Discrete Event) Systems Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Ireneusz Sierocki A System-Theoretic Approach to Planning and Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Josep Miró , Margaret Miró-Julià Equality of Functions in CAST. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Rodríguez-Millán Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Larnac , Janine Magnier , Eric Vandermeulen , Gérard Dray , Vincent Chapurlat Temporal and Functional Verification of a Symbolic Representation of Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Brielmann Modelling Differential Equations by Basic Information Technology Means. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Kapsner System Theoretic Aspects of Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] José Parets-Llorca , Juan Carlos Torres A Language for Describing Complex-Evolutive Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Kocourek An Architecture for Process Modeling and Execution Support. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kahlert , Thomas Kruse , Dieter Monjau A Formal Semantics for a Graphical Model Representation in System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Erdmuthe Meyer zu Bexten , Claudio Moraga A User-Interface for a Microsystems High-Level Simulator. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff Joslyn , Scott Henderson CAST Extensions to DASME to Support Generalized Information Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Rodríguez-Millán , Juan Cardillo Symbolic Computing Aided Design of Nonlinear PID Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] Ramón P. Otero , Alvaro Barreiro , Pedro Cabalar , David Lorenzo Discrete Event Simulation in an Environment for Temporal Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Erwin M. Thurner , C. Wincheringer TOMSPIN - A Tool for Modeling with Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Jacak , Stephan Dreiseitl Hybrid Evolutionary Programming: the Tools for CAST. [Citation Graph (0, 0)][DBLP ] Conf ] Ramón P. Otero , David Lorenzo , Pedro Cabalar Automatic Induction of DEVS Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Schweizer , Markus Voss Systems Engineering and Infrastructures for Open Computer Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karlheinz Agsteiner , Dieter Monjau , Sören Schulze Object-Oriented High Level Modeling of Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Praehofer , Franz Pichler Multifacetted, Object Oriented Modeling in the Transportation Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Schaffer , R. J. Raschhofer , A. Simma EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Glässer Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Lyes Hamaidi , Patrick Bourseau , Gilles Muratet , Jerry M. Couretas , Bernard P. Zeigler DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Chroust , Witold Jacak Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm? [Citation Graph (0, 0)][DBLP ] Conf ] Achim Sydow , Thomas Lux , Ralf-Peter Schäfer High-Performance Parallel Computing for Analyzing Urban Air Pollution. [Citation Graph (0, 0)][DBLP ] Conf ] Elzbieta Roszkowska Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Vysoký , Zdenek Pechal Computer Aided Rule Extraction from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Carlos Quevedo-Losada , Olga Bolívar Toledo , Roberto Moreno-Díaz Cast Methods for Generation of Non-Orthogonal Complete Transforms. [Citation Graph (0, 0)][DBLP ] Conf ] Santiago Candela Solá , Christophe Garcia , Francisco Alayón Hernández , J. Muñoz Cast System Approach for Visual Inspection. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Pichler , Josef Scharinger Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel M. Dubois Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel M. Dubois A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles. [Citation Graph (0, 0)][DBLP ] Conf ] José Barahona da Fonseca Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Bustio , Pedro Corcuera , Eduardo Mora Training Simulator for Garoña Nuclear Power Plant. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard Klempous , Barbara Lysakowska , Jan Nikodem Supervisory Control and Data Acquisition System for the Gas Flow Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 