Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540638117, 9783540696513

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

System theoretical approach to control and synchronization of teleeducation in open distributed environment

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025074 ◽

1997 ◽

pp. 549-560

Author(s):

Witold Jacak ◽

Gerhard Jahn ◽

Jerzy Rozenblit

Keyword(s):

Theoretical Approach ◽

Distributed Environment ◽

System Theoretical Approach ◽

Control And Synchronization

Download Full-text

A formal model for integrated system development

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025052 ◽

1997 ◽

pp. 301-313

Author(s):

Susanne Hofer

Keyword(s):

Formal Model ◽

System Development ◽

Integrated System

Download Full-text

Fuzzy traffic police for autonomous vehicles

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025050 ◽

1997 ◽

pp. 285-291 ◽

Cited By ~ 1

Author(s):

Ricardo García Rosa ◽

Teresa de Pedro ◽

Ailson Rosetti

Keyword(s):

Autonomous Vehicles ◽

Traffic Police

Download Full-text

Cryptographic permutations based on BOOT decompositions of walsh matrices

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025077 ◽

1997 ◽

pp. 580-590

Author(s):

Dieter Schütt ◽

Franz Pichler ◽

Josef Scharinger

Download Full-text

Multirate control of a class of nonlinear systems

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025041 ◽

1997 ◽

pp. 160-169

Author(s):

P. Albertos ◽

J. Bondia ◽

P. Moya

Keyword(s):

Nonlinear Systems ◽

Multirate Control

Download Full-text

Latest developments in robotics

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025056 ◽

1997 ◽

pp. 345-350

Author(s):

R. Probst ◽

P. Kopacek

Download Full-text

Formal representation and proof of the interpreted sequential machine model

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025037 ◽

1997 ◽

pp. 93-107 ◽

Cited By ~ 6

Author(s):

Mireille Larnac ◽

Vincent Chapurlat ◽

Janine Magnier ◽

Benjamin Chenot

Keyword(s):

Sequential Machine ◽

Formal Representation ◽

Machine Model

Download Full-text

Multiple representation of complex intensity changes for image segmentation

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025068 ◽

1997 ◽

pp. 473-485

Author(s):

Pedro Medina-Rodríguez ◽

Enrique Femández-García

Keyword(s):

Image Segmentation ◽

Multiple Representation ◽

Intensity Changes

Download Full-text

Cognitive modeling for navigation of mobile robots using the sensory gradient concept

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025049 ◽

1997 ◽

pp. 271-284 ◽

Cited By ~ 1

Author(s):

Francisco Serradilla ◽

Darío Maravall

Keyword(s):

Mobile Robots ◽

Cognitive Modeling

Download Full-text

From sequential to distributed formal proofs

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97 ◽

10.1007/bfb0025070 ◽

1997 ◽

pp. 499-513

Author(s):

Víctor M. Gulfas ◽

J. Santiago Jorge ◽

Juan J. Quintela ◽

José L. Freire

Keyword(s):

Formal Proofs

Download Full-text

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

System theoretical approach to control and synchronization of teleeducation in open distributed environment

A formal model for integrated system development

Fuzzy traffic police for autonomous vehicles

Cryptographic permutations based on BOOT decompositions of walsh matrices

Multirate control of a class of nonlinear systems

Latest developments in robotics

Formal representation and proof of the interpreted sequential machine model

Multiple representation of complex intensity changes for image segmentation

Cognitive modeling for navigation of mobile robots using the sensory gradient concept

From sequential to distributed formal proofs

Lecture Notes in Computer Science - Computer Aided Systems Theory — EUROCAST'97
Latest Publications