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

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/83793

Show full item record


Title: Formal specification in “Z” Language by software Z/EVES
Author: Švec, J.
Zahradník, Jiří
Date issue: 2006
Citation: Advances in electrical and electronic engineering. 2006, vol. 5, no. 3, p. 166-168.
URI: http://hdl.handle.net/10084/83793
URI: http://advances.utc.sk/index.php/AEEE
ISSN: 1336-1376
Type: article
Document version: publishedVersion
Access rights: openAccess
Rights: Creative Commons Attribution 3.0 Unported (CC BY 3.0)
© Žilinská univerzita v Žiline. Elektrotechnická fakulta
Rights: http://creativecommons.org/licenses/by/3.0/

Files in this item

Files Size Format View
AEEE-2006-5-3-166-svec.pdf 106.8Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics