Prof. Ing. Miroslav ©véda, CSc.

2012Grégr, M., Podermañski, T., ©véda, M.: User identification in IPV6 network, IP Networking 1 -- Theory and Practice, ®ilina, SK, EDIS ®U, 2012, p. 5-8, ISBN 978-80-554-0494-3
 Halfar, P., Ráb, J., Ry¹avý, O., ©véda, M.: A Formal Authorization Framework for Networked SCADA Systems, In: Proceedings IEEE ECBS 2012, Novy Sad, RS, IEEE CS, 2012, p. 298-302, ISBN 978-0-7695-4664-3
 Halfar, P., ©véda, M.: Networking in Cyber Physical Systems - A Concept Study, In: Proceedings of the International Workshop of Cyber Physical Systems, Bucharest, RO, 2012, p. 3
 Ry¹avý, O., ©véda, M., Vrba, R.: A Framework for Cyber-Physical Systems Design - A Concept Study, In: Proceedings ICONS 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 79-82, ISBN 978-1-61208-184-7
 ©véda, M., Ry¹avý, O., De, S., G., Matou¹ek, P., Ráb, J.: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, p. 39-53, ISBN 978-3-642-25205-1
 ©véda, M., Sekletár, M., Fidler, T., Ry¹avý, O.: A High-level Network-wide Router Configuration Language, In: Proceedings ICN 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 18-21, ISBN 978-1-61208-183-0
 Trchalík, R., ©véda, M.: Unified Sensor Gateway Interconnection of Sensor Networks, In: Proceedings 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Sy, Brno, CZ, 2012, p. 6
 Veselý, V., Matou¹ek, P., ©véda, M.: Multicast Simulation and Modeling in OMNeT++, In: Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques, Desenzano del Garda, IT, ICST, 2012, p. 298-301, ISBN 978-1-936968-47-3
 Veselý, V., ©véda, M.: L2 protocols in OMNeT++, IP Networking 1 -- Theory and Practice, ®ilina, SK, EDIS ®U, 2012, p. 37-40, ISBN 978-80-554-0494-3
2011Grégr, M., Matou¹ek, P., Podermañski, T., ©véda, M.: Practical IPv6 Monitoring - Challenges and Techniques, In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011), Dublin, IE, IEEE CS, 2011, p. 660-663, ISBN 978-1-4244-9220-6
 ©véda, M., Ry¹avý, O., De, S., G., Matou¹ek, P., Ráb, J.: Reachability Analysis in Dynamically Routed Networks, In: Proceedings of the IEEE ECBS 2011, Piscataway, NJ, US, IEEE CS, 2011, p. 197-205, ISBN 978-0-7695-4379-6
 ©véda, M., Ry¹avý, O., Matou¹ek, P.: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 2011, p. 22-23, ISBN 978-84-693-9560-8
 ©véda, M., Vrba, R.: A Cyber-Physical System Design Approach, In: Proceedings of The Sixth International Conference on Systems - ICONS 2011, St. Maarten, AN, IARIA, 2011, p. 12-18, ISBN 978-1-61208-002-4
 ©véda, M.: Design Experience with Routing SW and Related Applications, In: Proceedings of The Tenth International Conference on Networks - ICN 2011, St. Maarten, AN, IARIA, 2011, p. 133-138, ISBN 978-1-61208-002-4
2010De, S., G., Matou¹ek, P., Ry¹avý, O., ©véda, M.: Formal Analysis Approach on Networks with Dynamic Behaviours, In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, RU, IEEE CS, 2010, p. 545-551, ISBN 978-1-4244-7285-7
 Kornecki, A., J., Grega, W., Hilburn, T., B., Thiriet, J., ©véda, M., Ry¹avý, O., Pilat, A.: Transatlantic Engineering Programs: An Experience in International Cooperation, Safeeullah Soomro (Editor): Engineering the Computer Science and IT, Vienna, AT, IN-TECH, 2010, p. 65-84, ISBN 978-953-307-012-4
 ©véda, M., Ry¹avý, O., Matou¹ek, P., Ráb, J., Èejka, R.: SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties, In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010, Athens, GR, INSTICC, 2010, p. 5-11, ISBN 978-989-8425-25-6
 ©véda, M., Ry¹avý, O., Matou¹ek, P., Ráb, J.: An Approach for Automated Network-Wide Security Analysis, In: Proceedings of the Ninth International Conference on Networks ICN 2010, Les Menuires, FR, IEEE CS, 2010, p. 294-299, ISBN 978-0-7695-3979-9
 ©véda, M., Trchalík, R.: Development of Interconnecting SW for Intranets and Fieldbuses, In: 10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010, Pszczyna, PL, IFAC, 2010, p. 119-124, ISSN 1474-6670
 ©véda, M., Vrba, R.: An Embedded Application Regarded as Cyber-Physical System, In: Proceedings of the Fifth International Conference on Systems ICONS 2010, Les Menuires, FR, IEEE CS, 2010, p. 170-174, ISBN 978-0-7695-3980-5
 ©véda, M.: Fault Management Driven Design with Safety and Security Requirements, In: Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010, Oxford, GB, IEEE CS, 2010, p. 113-120, ISBN 978-0-7695-4005-4
 ©véda, M.: NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses, In: Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010, Athens, GR, INSTICC, 2010, p. 173-178, ISBN 978-989-8425-22-5
2009Grega, W., Hilburn, T., B., Kornecki, A., J., Ry¹avý, O., ©véda, M., Thiriet, J.: Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology, In: Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009, Valencia, ES, UPV, 2009, p. 5, ISBN 978-84-8363-428-8
 Kornecki, A., J., Hilburn, T., B., Grega, W., ©véda, M., Thiriet, J.: ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems, In: Journal of Automation, Mobile Robotics and Intelligent Systems, Vol. 3, No. 1, 2009, PL, p. 66-71, ISSN 1897-8649
 Oèená¹ek, P., ©véda, M.: A Model for Measurement and Analysis of the Workflow Processes, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, p. 149-153, ISBN 978-3-642-02555-6
 Oèená¹ek, P., ©véda, M.: AVISPA: Towards Practical Verification of Communication Properties, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 157-160, ISSN 1474-6670
 Oèená¹ek, P., Trchalík, R., ©véda, M.: On the Implementation of Metrics in Industrial Embedded Systems, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 161-164, ISSN 1474-6670
 Ráb, J., Ry¹avý, O., ©véda, M.: On the Implementation of State-space Exploration Procedure in a Relational Database Management System, In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software, Mragowo, PL, IEEE CS, 2009, p. 151-156, ISBN 978-83-60810-22-4
 Ry¹avý, O., ©véda, M., Kornecki, A., J., Hilburn, T., B., Grega, W., Pilat, A., Thiriet, J.: Designing and Implementing International RSIC Engineering Curriculum, In: 1st Eastern European Regional Conference on the Engineering of Computer-Based Systems, Novi Sad, RS, IEEE CS, 2009, p. 71-76, ISBN 978-0-7695-3759-7
 ©véda, M., Kornecki, A., J., Hilburn, T., B., Grega, W., Thiriet, J., Ry¹avý, O.: Real-Time Software-Intensive Systems Engineering: An International Perspective, In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009, Valencia, ES, UPV, 2009, p. 6, ISBN 978-84-8363-428-8
 ©véda, M., Trchalík, R., Oèená¹ek, P.: Design of Networked Embedded Systems: An Approach for Safety and Security, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 131-136, ISSN 1474-6670
 ©véda, M., Vrba, R.: Meta-Design with Safe and Secure Embedded System Networking, In: International Journal On Advances in Security., Vol. 2, No. 1, 2009, US, p. 8-15, ISSN 1942-2636
 ©véda, M., Vrba, R.: Specifications of Secure and Safe Embedded System Networks, In: 8th International Conference on Networks Proceedings ICN 2009, New York, NY, US, IEEE CS, 2009, p. 220-225, ISBN 978-0-7695-3552-4
 ©véda, M.: Fault Management for Secure Embedded Systems, In: International Conference on Systems Proceedings, ICONS 2009, New York, NY, US, IEEE CS, 2009, p. 23-28, ISBN 978-0-7695-3551-7
 ©véda, M.: Safe and Secure Networked Embedded Applications, In: Proceedings of the 4th International Conference on Broadband Communication, Wroclaw, PL, IEEE, 2009, p. 6, ISBN 978-83-7493-405-3
 Thiriet, J., Hilburn, T., B., Kornecki, A., J., Grega, W., ©véda, M.: Organization of a US-European Trans-national Degree in Engineering, In: Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes en Electronique, Electrotechnique et Automatique /CETSIS 08, Bruxelles, BE, EC EU, 2009, p. 7, ISSN 1638-1963
2008Èejka, R., Matou¹ek, P., Ráb, J., Ry¹avý, O., ©véda, M.: A Formal Approach to Network Security Analysis, Brno, CZ, FIT VUT, 2008, p. 20
 Hilburn, T., B., Kornecki, A., J., Thiriet, J., Grega, W., ©véda, M.: An RSIC-SE2004 Curriculum Framework, In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software, Wisla, PL, IEEE CS, 2008, p. 633-638, ISBN 978-83-60810-14-9, ISSN 1896-7094
 Hilburn, T., B., Thiriet, J., Kornecki, A., J., Grega, W., ©véda, M.: Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees, In: Inovations, Vol. 2008, No. 1, Arlington, VA, US, p. 29-42, ISBN 978-0-9741252-8-2, ISSN 1553-9911
 Kornecki, A., J., Grega, W., Thiriet, J., ©véda, M., Gonzales, A., Tharp, H.: Dependable Systems International Research and Educational Experience, Daytona Beach, US, EC EU, 2008, p. 20
 Kornecki, A., J., Hilburn, T., B., Grega, W., Thiriet, J., ©véda, M.: A COMMON US-EUROPE CURRICULUM: An Approach for Real-Time Software Intensive Systems, In: Proceedings of the 2008 ASEE Anual Conference & Exposition, Pittsburgh, PA, US, ASEE, 2008, p. 1359-1371, ISBN 0-87823-196-X
 Matou¹ek, P., Ráb, J., Ry¹avý, O., ©véda, M.: A Formal Model for Network-wide Security Analysis, In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems, Belfast, GB, University of Ulster, 2008, p. 171-181, ISBN 0-7695-3141-5
 Pilat, A., Kornecki, A., J., Thiriet, J., Grega, W., ©véda, M.: Industry Feedback on Skills and Knowledge, In: Proceedings of the 19th EAEEIE Annual Conference, Tallin, EE, IEEE CS, 2008, p. 129-133, ISBN 978-1-4244-2009-4
 ©véda, M., Ry¹avý, O., Vrba, R.: Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design, Frontiers in Robotics, Automation and Control, Vienna, AT, IN-TECH, 2008, p. 151-164, ISBN 978-953-7619-17-6
 ©véda, M., Vrba, R.: Meta-Design Support for Safe and Secure Networked Embedded Systems, In: IEEE Proceedings of the Third International Conference on Systems, ICONS 2008, New York, US, IEEE CS, 2008, p. 69-74, ISBN 978-0-7695-3105-2
 Thiriet, J., Hilburn, T., B., Kornecki, A., J., Grega, W., ©véda, M.: Implementation for a US-European Trans-national Degree in Real-Time Software Engineering, In: Proceedings of the 19th EAEEIE Annual Conference, Tallin, EE, IEEE CS, 2008, p. 134-137, ISBN 978-1-4244-2009-4
 Trchalík, R., Oèená¹ek, P., ©véda, M.: Using MSC and SDL Languages for Description of Network Communication, In: EDS '08 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brnì, 2008, p. 5, ISBN 978-80-214-3717-3
2007Grega, W., Kornecki, A., J., ©véda, M., Thiriet, J.: Developing an Interdisciplinary and Multinational Software Engineering Curriculum, In: Proceedings of the International Conference on Engineering Education, Coimbra, PT, EU-EC-ET, 2007, p. 4, ISBN 978-972-8055-14-1
 Kornecki, A., J., Hilburn, T., B., Grega, W., Thiriet, J., ©véda, M.: ILERT - International Learning Environment for Real-Time Software Intensive Control Systems, In: Computer Science and Information Technology, Vol. 2007, No. 2, Wisla, PL, p. 943-948, ISSN 1896-7094
 Pavlík, M., Háze, J., Vrba, R., ©véda, M.: Smart Differential Pressure Sensor, In: Proceedings ICINCO 2007: Signal Processing, Systems Modelling and Control, Angers, FR, INSTICC, 2007, p. 244-248, ISBN 978-972-886584-9
 ©véda, M., Ry¹avý, O.: Industrial Application Development using Case-based Reasoning, In: Proceedings of International Workshop on Artificial Neural Networks and Intelligent Information Processing, Angers, FR, INSTICC, 2007, p. 7, ISBN 972-8865-86-4
 ©véda, M., Trchalík, R.: Safety and Security-driven Design of Networked Embedded Systems, In: Proceedings 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, Lübeck, DE, IEEE CS, 2007, p. 420-423, ISBN 0-7695-2978-X
 ©véda, M., Trchalík, R.: ZigBee-to-Internet Interconnection Architectures, In: Proceedings of the Second International Workshop on Mobile Communications and Learning MCL 2007, Saint Luce, Martinique, MQ, IEEE CS, 2007, p. 6, ISBN 0-7695-2807-4
 ©véda, M., Vrba, R., Ry¹avý, O.: Pattern-Driven Reuse of Embedded Control Design, In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics, Angers, FR, INSTICC, 2007, p. 8, ISBN 972-8865-84-8
 ©véda, M., Vrba, R.: Dependability-driven Embedded Systems Networking, In: Proceedings of The Sixth International Conference on Networking, New York, US, IEEE CS, 2007, p. 483-488, ISBN 0-7695-2805-8
 ©véda, M., Vrba, R.: SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications, In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B), Barcelona, ES, IEEE CS, 2007, p. 23-30, ISBN 978-989-8111-11-1
 ©véda, M., Vrba, R.: Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications, In: Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007), Barcelona, ES, INSTICC, 2007, p. 345-350, ISBN 978-989-8111-06-7
 ©véda, M.: End-User Development Framework for Embedded System Applications, In: Engineering of Computer-Based Systems, 2007, Tucson, Arizona, US, IEEE CS, 2007, p. 186-192, ISBN 0-7695-2772-8
 ©véda, M.: Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains, In: IEEE Proceedings of the Second International Conference on Systems, ICONS 2007, New York, US, IEEE CS, 2007, p. 11-16, ISBN 0-7695-2807-4
 ©véda, M.: Industrial Measurement Application Development, In: Proceedings of the First International Workshop on Application-oriented Systems, Saint Luce, Martinique, MQ, IEEE CS, 2007, p. 523-529, ISBN 0-7695-2807-4
 Trchalík, R., ©véda, M.: Sensor Networking through Intranet and ZigBee, In: EDS '07 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brnì, 2007, p. 1-5, ISBN 978-80-214-3470-7
2006Fujcik, L., Vrba, R., ©véda, M.: A 16-Bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two-Step Quantization Process, In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006), Setúbal, PT, IEEE CS, 2006, p. 142-147, ISBN 972-8865-59-7
 Oèená¹ek, P., ©véda, M.: An Approach to Automated Design of Security Protocols, In: Proceedings of the International Conference on Networking (ICN 2006), Los Alamitos, US, IEEE CS, 2006, p. 4, ISBN 0-7695-2552-0
 Ry¹avý, O., ©èuglík, F., ©véda, M.: Designing Algorithm-oriented Generic Library on .NET Framework, In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006, Los Alamitos, CA, US, IEEE CS, 2006, p. 159-163, ISBN 0-7695-2546-6
 ©véda, M., Trchalík, R.: Smart Sensor Networking with ZigBee and Internet, In: Proceedings of the 2nd International Workshop on Artificial Neural Networks and Intelligent Information Processing (ANNIIP 2006), Setúbal, PT, UPMC, 2006, p. 64-71, ISBN 972-8865-68-6
 ©véda, M., Vrba, R., Oèená¹ek, P.: Local Time Specifications of Networked Embedded Systems, In: Proceedings of the International Conference on Systems (ICONS 2006), Los Alamitos, US, IEEE CS, 2006, p. 6, ISBN 0-7695-2552-0
 ©véda, M., Vrba, R.: Fault Maintenance in Embedded Systems Applications, In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006), Setúbal, PT, IEEE CS, 2006, p. 183-186, ISBN 972-8865-59-7
 ©véda, M., Vrba, R.: INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications, In: Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006, Setúbal, PT, IEEE CS, 2006, p. 63-68, ISBN 972-8865-62-7
 ©véda, M., Vrba, R.: Safe and secure networks of microelectronic systems, Brno, CZ, FEKT VUT, 2006, p. 13
 ©véda, M.: REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN, In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006, Brno, CZ, FEKT VUT, 2006, p. 78-83, ISBN 80-214-3130-X
 Trchalík, R., ©véda, M.: Sensor Networking through Intranet and ZigBee, In: Proceedings IMAPS CS International Conference EDS'06, Brno, CZ, VUT v Brnì, 2006, p. 217-221, ISBN 80-214-3246-2
2005Bure¹, F., Ry¹avý, O., ©èuglík, F., ©véda, M.: A Framework for Formal Specification of Embedded Systems, In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Los Alamitos, California, US, IEEE CS, 2005, p. 323-330, ISBN 0-7695-2308-0
 Kuchta, R., ©teffan, P., Bartoò, Z., Vrba, R., ©véda, M.: Wireless Temperature Data Logger, In: IEEE Proceedings AsiaSens 2005, Kuala Lumpur, MY, IEEE CS, 2005, p. 208-212, ISBN 0-7803-9371-6
 ©véda, M., Bene¹, P., Vrba, R., Zezulka, F.: Introduction to Industrial Sensor Networking, Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems, Boca Raton, Florida, US, CRC Press, 2005, p. 10-24, ISBN 0-8493-1968-4
 ©véda, M., Vrba, R.: An Approach to the Design of Networked Embedded Systems, In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005, Kidlington, Oxford, GB, Elsevier, 2005, p. 6, ISBN 0-08-045108-X, ISSN 1474-6670
 ©véda, M., Vrba, R.: Embedded Systems with IEEE 1451.1 on Internet, Enabling Technologies for the New Knowledge Society, Cairo, EG, IEEE CS, 2005, p. 539-550, ISBN 0-7803-9270-1
 ©véda, M., Vrba, R.: Sensor Networks with IEEE 1451.1 Embedded Systems on Internet, In: IEEE Proceedings AsiaSens 2005, Kuala Lumpur, MY, IEEE CS, 2005, p. 5, ISBN 0-7803-9371-6
 ©véda, M.: Computer Networks with Smart Sensors: the IEEE 1451 Approach, In: Proceedings IMAPS CS International Conference EDS'05, Brno, CZ, VUT v Brnì, 2005, p. 107-110, ISBN 80-214-2990-9
 Vrba, R., Sajdl, O., ©véda, M.: Smart Sensors in Wireless Network System, Enabling Technologies for the New Knowledge Society, Cairo, EG, IEEE CS, 2005, p. 343-353, ISBN 0-7803-9270-1
2004Dvoøák, V., ©véda, M. (editors): Proceedings of the International IEEE Conference and Workshop ECBS'2004, Los Alamitos, CA, US, IEEE CS, 2004, p. 560, ISBN 0-7695-2125-8
 Dvoøák, V., ©véda, M., Rattray, C., Rozenblit, J.: Formal Specifications of Computer-Based Systems - J.UCS Special Issue, In: Journal of Universal Computer Science, Vol. 9, No. 11, 2004, AT, p. 1258-1260, ISSN 0948-6968
 Háze, J., Krejèí, J., Vrba, R., ©véda, M.: Sensor Analysis of Liquid Pollution, In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference, New Orleans, LA, US, IEEE CS, 2004, p. 155-158, ISBN 0-7803-8143-2
 Rattray, C., ©véda, M., Rozenblit, J. (editors): Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Stirling, GB, US, 2004, p. 64, ISBN 1-85769-1970
 Ry¹avý, O., Bure¹, F., ©èuglík, F., ©véda, M.: Integration of Formal Methods in a Specification Framework for Embedded Systems, In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Stirling, GB, IEEE CS, 2004, p. 57-63, ISBN 1-85769-1970
 ©véda, M., Rattray, C., Rozenblit, J.: Formal Specifications of Computer-Based Systems - J.UCS Special Issue, In: Journal of Universal Computer Science, Vol. 10, No. 10, 2004, AT, p. 1354-1356, ISSN 0948-6968
 ©véda, M., Vrba, R.: A Development Environment for Internet-Based Applications of Smart Sensors, In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference, New Orleans, LA, US, IEEE CS, 2004, p. 170-176, ISBN 0-7803-8143-2
 ©véda, M., Vrba, R.: An Approach to Computer-Based System Synthesis, In: Proceedings of the ICSE & INCOSE 2004 Conference, Las Vegas, NV, US, CRC Press, 2004, p. 8, ISBN 0-8576-9197-0
 ©véda, M., Vrba, R.: Reuse of Formal Specifications in Computer-Based Systems Design, In: Proceedings of the ICSE & INCOSE 2004 Conference, Las Vegas, NV, US, CRC Press, 2004, p. 6, ISBN 0-85760-919-X
 ©véda, M., Vrba, R.: Sensor Networking with Publish/Subscribe and IP Multicast, In: WSEAS Transactions on Information Science and Applications, Vol. 1, No. 4, 2004, US, p. 983-987, ISSN 1790-0832
 ©véda, M.: A Design Framework for Internet-Based Embedded Distributed Systems, In: Proceedings of the International IEEE Conference and Workshop ECBS'2004, Los Alamitos, California, US, IEEE CS, 2004, p. 113-120, ISBN 0-7695-2125-8
 ©véda, M.: IP Multicast with Publish/Subscribe for Sensors on Internet, In: 11th Electronic Devices and Systems Conference 2004 Proceedings, Brno, CZ, VUT v Brnì, 2004, p. 350-353, ISBN 80-214-2701-9
 Vrba, R., Sajdl, O., Kuchta, R., ©véda, M.: Wireless Smart Sensor Network System, In: Proceedings of the ICSE & INCOSE 2004 Conference, Las Vegas, NV, US, CRC Press, 2004, p. 466-471, ISBN 0-8576-9197-0
 Vrba, R., ©véda, M., Mareèek, K.: Pressure Transducer with Multiplexed Frequency Transmitter, In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference, New Orleans, LA, US, IEEE CS, 2004, p. 7-10, ISBN 0-7803-8143-2

Show all publications

Your IPv4 address: 38.107.179.218
Switch to IPv6 connection

DNSSEC [dnssec]