Selected Methods of Specification and Verification of Industriall Application
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42555" target="_blank" >RIV/00216305:26230/03:PU42555 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Selected Methods of Specification and Verification of Industriall Application
Original language description
This paper presents some formal methods for specification and verification of industrial applications (for example embedded systems) and applying those methods in frame of system design. One goal of this work is founding the major formal methods and representation potential users of such methods.
Czech name
Vybrané metody specifikace a verifikace průmyslových aplikací
Czech description
Tento článek prezentuje některé formální metody pro specifikaci a verifikaci průmyslových aplikací a aplikování těchto metod v rámci návrhu systému.<br>
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
ISBN
80-214-2379-X
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
614-618
Publisher name
Faculty of Electrical Engineering and Communication BUT
Place of publication
Brno
Event location
Brno
Event date
Apr 24, 2003
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—