Showing 1 - 2 results of 2 for search 'G. Gruita', query time: 0.02s Refine Results
  1. 1
    Design of the Sequential System Automata using Temporal Equivalence Classes

    Design of the Sequential System Automata using Temporal Equivalence Classes by A. Ursu, G. Gruita, S. Zaporojan

    Published 1997-10-01
    Get full text
    Article
  2. 2
    Design of the real time systems using temporal logic specifications: a case study

    Design of the real time systems using temporal logic specifications: a case study by A. Ursu, V. Dubenetsky, G. Gruita

    Published 1996-07-01
    Get full text
    Article

Search Tools: