Detail projektu
Verification and Validation Methods for Formal Descriptions
Období řešení: 1. 1. 1994 - 31. 12. 1996
Typ projektu: grant
Kód: COST247
Agentura: COST, European Cooperation in Science and Technology
Program:
Typ
grant
Řešitelé
Kemal Inan, Prof. Dr.
(EEED METU)
, hlavní řešitel
Brim Luboš, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Křetínský Mojmír, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Šárek Milan, Ing. (CVIS VUT) , spoluřešitel
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Brim Luboš, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Křetínský Mojmír, prof. RNDr., CSc. (FI MUNI) , spoluřešitel
Šárek Milan, Ing. (CVIS VUT) , spoluřešitel
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Publikace
1997
- ŠVÉDA Miroslav. Design Method, Fail-Stop Safety Model, and Embedded Application. Journal of Systems Architecture, roč. 43, č. 1, 1997, s. 47-57. ISSN 1383-7621. Detail
- ŠVÉDA Miroslav, BABKA Oto a FREEBURN Jana. Knowledge Preserving Development: A Case Study. In: Proc. IEEE Conf. Engineering of Computer-Based Systems. Monterey, California: IEEE Computer Society, 1997, s. 347-352. ISBN 0-8186-7889-5. Detail
1996
- ŠVÉDA Miroslav. A Prototyping Technique for Distributed Microcontrollers. In: CSS '96. Brno: neznámá, 1996, s. 61-68. ISBN 80-214-0768-9. Detail
- ŠVÉDA Miroslav. A Prototyping Technique with an Asynchronous Specification Language. In: Proc. Euromicro'96. Prague: neznámá, 1996, s. 151-157. ISBN 0-8186-7487-3. ISSN 1089-6503. Detail
- ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. Cybernetics and Systems, roč. 27, č. 2, 1996, s. 197-212. ISSN 0196-9722. Detail
- ŠVÉDA Miroslav. Formal Specifications with Local Time Concept. In: Proc. IEE Conf. WODES'96. Edinburgh: neznámá, 1996, s. 356-361. ISBN 0-85296-664-4. Detail
- ZEZULKA František a ŠVÉDA Miroslav. Specification of Anticipative Problems in Control Engineering. Advances in Modeling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, s. 79-83. ISBN 1-921836-43-1. Detail
- ŠVÉDA Miroslav a ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, s. 79-83. ISBN 0-92183-43-14. Detail
1995
- ŠVÉDA Miroslav. Development Environment for Local-Time Design Method. In: Collection of Abstracts: EUROCAST'95. Innsbruck: neznámá, 1995, s. 1-3. Detail
- ŠVÉDA Miroslav. Local Time Specifications for Real-Time Systems Design. In: Proceedings of Int. Conf. Real Time '95. Ostrava: neznámá, 1995, s. 186-193. ISBN 80-901751-6-3. Detail
- ŠVÉDA Miroslav. Local-Time Specification Concepts. In: Collection of Abstracts: IFIP Workshop on CAST and Computer Systems Technology. Innsbruck: neznámá, 1995, s. 1-3. Detail
1994
- ŠVÉDA Miroslav. A Model of Local Time for Distributed Real-Time Control Systems. In: Cybernetics and Systems Research'94. Vienna: neznámá, 1994, s. 175-182. ISBN 981-02-1761-7, 9. Detail
- ŠVÉDA Miroslav, VRBA Radimír, LEGÁT Pavel a ZEZULKA František. ASI Instrumentation. Microprocessing and Microprogramming (North-Holland), roč. 40, č. 10, 1994, s. 879-882. ISSN 0165-6074. Detail
- DOUŠEK Antonín a ŠVÉDA Miroslav. Development Environment with Local-Time Method. In: ASRTP '94. Košice: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 1994, s. 418-423. Detail
- ŠVÉDA Miroslav. Fuel Stand Control System Design. Elektrotechnik und Informationstechnik ÖVE - Verbandszeitschrift, roč. 111, č. 4, 1994, s. 171-173. ISSN 0932-383X. Detail
- ŠVÉDA Miroslav. Multiple Lift Control System. In: Proceedings 20th Euromicro 94 Conf.. Liverpool: neznámá, 1994, s. 581-587. ISBN 0-8186-6430-4. Detail