IRTUM – Institutional Repository of the Technical University of Moldova

Browsing Articole din publicaţii naţionale by Author "URSU, A."

Browsing Articole din publicaţii naţionale by Author "URSU, A."

Sort by: Order: Results:

  • Design of the real time systems using temporal logic specifications: a case study 
    URSU, A.; DUBENETSKY, V.; GRUITA, G. (Institute of Mathematics and Computer Science, 1996)
    An implementation method for real time systems is proposed in this article. The implementation starts with the design of the functional specifications of the systems behaviour. The functional specifications are introduced ...
  • Design of the Sequential System Automata using Temporal Equivalence Classes 
    URSU, A.; GRUITA, G.; ZAPOROJAN, S. (Institute of Mathematics and Computer Science, 1997)
    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 and is ...

Search DSpace


Browse

My Account