timed automata

zamanlı otomat

1. • bilişim
   Gerçek zamanlı, kritik sistemlerin benzetimi ve biçimsel (formel) olarak doğrulanmasında yararlanılan, sistemin girdi ve çıktılarının yanı sıra olaylar arasında geçen sürenin de ifade edilebildiği bir matematiksel formalizm.
   İngilizce timed automata

   Fransızca automate temporisé, m

   Almanca Realzeitautomaten, pl