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

dc.contributor.author	Švec, J.
dc.contributor.author	Zahradník, Jiří
dc.date.accessioned	2011-02-01T12:00:27Z
dc.date.available	2011-02-01T12:00:27Z
dc.date.issued	2006
dc.identifier.citation	Advances in electrical and electronic engineering. 2006, vol. 5, no. 3, p. 166-168.	en
dc.identifier.issn	1336-1376
dc.identifier.uri	http://hdl.handle.net/10084/83793
dc.description.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.	en
dc.format.extent	109465 bytes	cs
dc.format.mimetype	application/pdf	cs
dc.language.iso	en	en
dc.publisher	Žilinská univerzita v Žiline. Elektrotechnická fakulta	en
dc.relation.ispartofseries	Advances in electrical and electronic engineering	en
dc.relation.uri	http://advances.utc.sk/index.php/AEEE	en
dc.rights	Creative Commons Attribution 3.0 Unported (CC BY 3.0)	en
dc.rights	© Žilinská univerzita v Žiline. Elektrotechnická fakulta	en
dc.rights.uri	http://creativecommons.org/licenses/by/3.0/	en
dc.title	Formal specification in “Z” Language by software Z/EVES	en
dc.type	article	en
dc.rights.access	openAccess
dc.type.version	publishedVersion	cs
dc.type.status	Peer-reviewed	cs

AEEE. 2006, vol. 5 [100]
OpenAIRE [5085]
Kolekce určená pro sklízení infrastrukturou OpenAIRE; obsahuje otevřeně přístupné publikace, případně další publikace, které jsou výsledkem projektů rámcových programů Evropské komise (7. RP, H2020, Horizon Europe).

Kromě případů, kde je uvedeno jinak, licence tohoto záznamu je Creative Commons Attribution 3.0 Unported (CC BY 3.0)