Design of the Sequential System Automata using Temporal Equivalence Classes
A design method of sequential system automata using temporal logic specifications is proposed in this paper. The method is based on well-known Z.Manna and P.Wolper temporal logic satisfiability analysis procedure [1] and is extended to include past time temporal operators. A new specification method...
Kaydedildi:
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Vladimir Andrunachievici Institute of Mathematics and Computer Science
1997-10-01
|
| Seri Bilgileri: | Computer Science Journal of Moldova |
| Konular: | |
| Online Erişim: | http://www.math.md/nrofdownloads.php?file=/files/csjm/v5-n3/v5-n3-(pp330-352).pdf |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|