Description

• Title:
  Verifying RTECTL properties of a train controller system
• Creator:
  Woźna-Szcześniak, Bożena;
  Zbrzezny, Agnieszka;
  Zbrzezny, Andrzej
• Description:
  Cz. 16;
  Matematyka;
  Prace Naukowe Akademii im. Jana Długosza w Częstochowie;
  s. 153-162
• Object availability:
  free access
• Type:
  artykuł
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Akademii im. Jana Długosza w Częstochowie
• Identifier:
  ISBN 978-83-7455-209-7;
  ISSN 1896-0286
• Data provider:
  Biblioteka Cyfrowa AJD
• Can I use it?:
  seek permission
• Type:
  image