Opis

• Tytuł:
  Verifying RTECTL properties of a train controller system
• Twórca:
  Woźna-Szcześniak, Bożena;
  Zbrzezny, Agnieszka;
  Zbrzezny, Andrzej
• Opis:
  Cz. 16;
  Matematyka;
  Prace Naukowe Akademii im. Jana Długosza w Częstochowie;
  s. 153-162
• Dostępność obiektu:
  Dostęp otwarty
• Typ:
  artykuł
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Akademii im. Jana Długosza w Częstochowie
• Identyfikator:
  ISBN 978-83-7455-209-7;
  ISSN 1896-0286
• Dostawca danych:
  Biblioteka Cyfrowa AJD
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy