CAMERZAN, Inga
(Technical University of Moldova, 2009)
This paper provides the central basic of the modeling technique: the concept of system nets and there verifications. A formal framework for system nets has to establish the relationship between syntactical inscriptions ...