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

Show simple item record
dc.contributor.authorŠvec, J.
dc.contributor.authorZahradník, Jiří
dc.date.accessioned2011-02-01T12:00:27Z
dc.date.available2011-02-01T12:00:27Z
dc.date.issued2006
dc.description.abstractThe 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.en
dc.format.extent109465 bytescs
dc.format.mimetypeapplication/pdfcs
dc.identifier.citationAdvances in electrical and electronic engineering. 2006, vol. 5, no. 3, p. 166-168.en
dc.identifier.issn1336-1376
dc.identifier.urihttp://hdl.handle.net/10084/83793
dc.language.isoenen
dc.publisherŽilinská univerzita v Žiline. Elektrotechnická fakultaen
dc.relation.ispartofseriesAdvances in electrical and electronic engineeringen
dc.relation.urihttp://advances.utc.sk/index.php/AEEEen
dc.rightsCreative Commons Attribution 3.0 Unported (CC BY 3.0)en
dc.rights© Žilinská univerzita v Žiline. Elektrotechnická fakultaen
dc.rights.accessopenAccess
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/en
dc.titleFormal specification in “Z” Language by software Z/EVESen
dc.typearticleen
dc.type.statusPeer-reviewedcs
dc.type.versionpublishedVersioncs

Files

Original bundle

Now showing 1 - 1 out of 1 results
Thumbnail Image
Name:
AEEE-2006-5-3-166-svec.pdf
Size:
106.9 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 out of 1 results
Thumbnail Image
Name:
license.txt
Size:
1.8 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

AEEE. 2006, vol. 5
OpenAIRE