Audio/Video System

  • Kurt Jensen
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)


This chapter describes a project accomplished by Niels T. Sørensen, Bang & Olufsen A/S, Struer, Denmark, in cooperation with Søren Christensen and Jens B. Jørgensen, Aarhus University, Denmark. The chapter is based upon the material presented in [14]. The project was conducted in 1995–96.


Page Model Message Sequence Chart Substitution Transition Executable Model Lock Manager 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Kurt Jensen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations