zamanlı otomat
-
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 automataFransızca automate temporisé, mAlmanca Realzeitautomaten, pl