Gabriela Gruita

According to our database, Gabriela Gruita authored at least 3 papers between 1996 and 1997.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1997

Design of the Sequential System Automata using Temporal Equivalence Classes.

Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan

Comput. Sci. J. Moldova, 1997

Design and verification of the sequential systems automata using temporal logic specifications.

Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan

Proceedings of the European Design and Test Conference, 1997

1996

Design of the real time systems using temporal logic specifications: a case study.

Anatol Ursu, V. Dubenetsky, Gabriela Gruita

Comput. Sci. J. Moldova, 1996