×

Found 5 Documents (Results 1–5)

Systems specification by basic protocols. (English. Russian original) Zbl 1103.68370

Cybern. Syst. Anal. 41, No. 4, 479-493 (2005); translation from Kibern. Sist. Anal. 2005, No. 4, 3-21 (2005).
MSC:  68M12
PDFBibTeX XMLCite
Full Text: DOI

Verification of software requirements on program systems represented by attribute transition systems. (English. Russian original) Zbl 1097.68539

Cybern. Syst. Anal. 39, No. 6, 783-789 (2003); translation from Kibern. Sist. Anal. 2003, No. 6, 3-11 (2003).
MSC:  68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software