List of Participants to Brokerage Event
 | ||
| First Name: | Otto | |
| Last name: | Fučík | |
| Position title: | Assistant Professor | |
About Organization | ||
| Organization: | Brno University of Technology, Faculty of Information Technology | |
| Organization Profile: | Thematic Focus: Research of formal methods for increasing reliability of computer-based systems, Analysis and specification of network devices and embedded systems, Communication in embedded systems, real-time communication protocols, Wireless communication, Automated Network-wide Security Analysis (ANSA), Network Simulation and Modelling on Cisco devices (NeSim), Network security, design of secure communication protocols Current Research Priorities: Formal models of embedded systems communication, design methods for embedded system software, specification and pattern-driven reuse of embedded systems design, security of communication protocols, network security, IDS/IPS. | |
| Department: | Department of Computer Systems | |
| Web site: | http://www.fit.vutbr.cz/units/UPSY | |
| Country: | Czech Republic | |
Further details | ||
| Area of interest: |
* Components, systems and engineering | |
