Main Courses lect. prac. lab. cr. prerequisite Semester 1 (autumn) Advanced Programming [1] 2 2 5 Cryptography and Information Security [2] 2 1 4 Modern measurement techniques [3] 2 3 Mathematics for Engineers II [4] 2 2 5 History of the physical and technical science [5] 2 2 Legal, Ethical and Informatics Issues of Personal [6] 2 3 Scientific and technical modeling [7] 2 3 Required facultative...

Main Courses lect. prac. lab. cr. prerequisite Semester 1 (autumn) Advanced Programming [1] 2 2 5 Cryptography and Information Security [2] 2 1 4 Modern measurement techniques [3] 2 3 Mathematics for Engineers II [4] 2 2 5 History of the physical and technical science [5] 2 2 Legal, Ethical and Informatics Issues of Personal [6] 2 3 Scientific and technical modeling [7] 2 3 Required facultative...

Mérnökinformatikus MSc keresztféléves mintatanterv TÁRGY ea. gy. lab. kr. előfeltétel I. félév (tavasz) Optimalizálás alkalmazása [1] 2 1 4+0 Formális módszerek [2]

Mérnökinformatikus MSc keresztféléves mintatanterv TÁRGY ea. gy. lab. kr. előfeltétel I. félév (tavasz) Optimalizálás alkalmazása [1] 2 1 4+0 Formális módszerek [2]

Message sequence charts (MSCs) and high-level message sequence charts (HMSCs) are popular formalisms for the speciication of communication protocols between asynchronous processes. An important concept in this context is the size of the communication buuers used between processes. Since real systems impose limitations on the capacity (or speed) of communication links, we ask whether a given HMS...