Skip to main content
SpringerLink
Log in

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Dines Bjøner

    1. Department of Information Technology, Technical University of Denmark, Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manfred Broy

    1. Computer Science Department, Technical University of Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alexandre V. Zamulin

    1. A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1755)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (48 papers)

  1. Model & Program Checking

    1. Introducing Mutual Exclusion in Esterel

      • Klaus Schneider, Viktor Sabelfeld
      Pages 445-459

    2. Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications

      • Richard J. Anderson, Paul Beame, William Chan, David Notkin
      Pages 460-469

    3. Formal Verification of a Compiler Back-End Generic Checker Program

      • Axel Dold, Vincent Vialard
      Pages 470-480

    4. Construction of Verified Compiler Front-Ends with Program-Checking

      • Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
      Pages 481-492

    5. Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker

      • Claudio de la Riva, Javier Tuya, José R. de Diego
      Pages 493-502

  2. Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles

    1. Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles

      • Fedor A. Kolushev, Alexander A. Bogdanov
      Pages 503-510

  3. Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique

    1. Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique

      • Irina S. Kononenko, Ivan G. Popov, Yury A. Zagorulko
      Pages 511-516

  4. Natural Communication with Robots

    1. Approach to Development of a System for Speech Interaction with an Intelligent Robot

      • George B., Farida G., David Ya., Ivan G., Yury A.
      Pages 517-529

  5. Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages

    1. Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages

      • Susantha Herath, Chie Saito, Ajantha Herath
      Pages 530-537

  6. Back Matter

    Pages 481-481
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Department of Information Technology, Technical University of Denmark, Lyngby, Denmark

    Dines Bjøner

  • Computer Science Department, Technical University of Munich, Munich, Germany

    Manfred Broy

  • A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

    Alexandre V. Zamulin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation