Filtry
  • Kolekcje
  • Publikacje grupowe
  • Typ pliku
  • Autor
  • Współtwórca
  • Tytuł
  • Temat i słowa kluczowe
  • Data wydania
  • Typ zasobu
  • Jezyk
  • Prawa do dysponowania publikacją

Szukana fraza: [Abstract = The paper deals with temporal logic and analysis of correctness properties of programs. A classification of program properties is presented. Verification by temporal logic is shown on the examples of synchronization in the producer\-consumer problem and a sample parallel system of robots. The analysis of the system concerns three types of safety property.]

Wyników: 1

obiektów na stronie

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji