Formal specification in “Z” Language by software Z/EVES
Loading...
Downloads
8
Date issued
Authors
Švec, J.
Zahradník, Jiří
Journal Title
Journal ISSN
Volume Title
Publisher
Žilinská univerzita v Žiline. Elektrotechnická fakulta
Location
Signature
License
Abstract
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.
Description
Subject(s)
Citation
Advances in electrical and electronic engineering. 2006, vol. 5, no. 3, p. 166-168.