Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers > Model-Based Design and Verification of Reactive Systems
Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers |
Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada-Arencibia
Springer Berlin Heidelberg
Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Model-Based Design and Verification of Reactive Systems
Authors

Jiří Hýsek; Milan Češka; Vladimír Janoušek

ARI Id

1674219834123_3464552

Access

Not Available Free

Pages

865-872

DOI

10.1007/978-3-642-04772-5_111

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-04772-5_111

Table of Contents of Book
Showing 1 to 20 of 122 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Kolmogorov Stream Ciphers
Josef Scharinger
1-8
Morphotronic System (Theory)
Germano Resconi; Zenon Chaczko
9-16
Knowledge Discovery in Databases Using Multivalued Array Algebra
Margaret Miró-Julià
17-24
Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes
Roberto Moreno-Díaz; Arminda Moreno-Díaz; Gabriel de Blasio
25-32
Analytical Representation of Intrinsic Directionality in Retinal Cells
Gabriel de Blasio; Roberto Moreno-Díaz Jr.; Roberto Moreno-Díaz
33-40
Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method
Franz Pichler
41-46
A Software Implementation of the Rissanen Method for Partial Linear Systems Realization
Dominik Jochinger
47-52
New Frontiers in the Validation of Simulation Models–Structural Dominance Analysis
Markus Schwaninger; Stefan Groesser
53-62
Optimizing the Hardware Usage of Parallel FSMs
Rainer Findenig; Florian Eibensteiner; Markus Pfaff
63-68
SynPSL: Behavioral Synthesis of PSL Assertions
Florian Eibensteiner; Rainer Findenig; Markus Pfaff
69-74
Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning
José Antonio Martín H.; Javier de Lope
75-82
Designing Communication Space in Wireless Sensor Network Based on Relational Attempt
Jan Nikodem
83-90
Boundary Scan Security Enhancements for a Cryptographic Hardware
Maciej Nikodem
91-97
Automated Design of Totally Self-Checking Sequential Circuits
Jerzy Greblicki; Jerzy Kotowski
98-105
A General Purpouse Control System
Adrián Peñate-Sánchez; Alexis Quesada-Arencibia; Roberto Moreno-Díaz Jr.
106-112
On the First Exit Time Problem for a Gompertz-Type Tumor Growth
G. Albano; V. Giorno
113-120
A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process
Antonio Di Crescenzo; Barbara Martinucci
121-128
Diffusion Processes Subject to Catastrophes
Roberta di Cesare; Virginia Giorno; Amelia G. Nobile
129-136
Automatic System Identification of Tissue Abnormalities Based on 2D B–Mode Ultrasound Images
Víctor D. Díaz-Suárez; Carlos M. Travieso; Javier González-Fernández; Miguel A. Ferrer; Luis Gómez; Jesús B. Alonso
137-142
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 122 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings