تصفح Computer Science & Engineering حسب الموضوع "Java"
السجلات المعروضة 1 -- 1 من 1
-
VALID-2: A practical modeling, simulation and verification software for distributed systems
( IEEE , 2004 , Conference Paper)Distributed systems verification is one of the main issues in software engineering. It is considered as the major field of the formal specification techniques. However, many difficulties remain. In fact, the principal ...