flag flag  

Search all repositories
add criteria
Close advanced options Search for

 

Enter more search criteria
Publication Date
     
From
To
Document Language
Document Type
Repositories
Search History
• (author = "Zahradník, Jiří")
Document details

Formal specification in “Z” Language by software Z/EVES

Author(s) : Švec, J. , Zahradník, Jiří
Description : The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification “Z” language and software Z/EVES.
Repository : DSpace VŠB-TUO , View repository documents
Language(s) : English
Subject(s) :
Publisher(s) : Žilinská univerzita v Žiline. Elektrotechnická fakulta
Contributor(s) :
Source(s) :
Publication Date(s) : 2006-01-01