Modeling and validation of communication protocols specified in the Estelle and SDL languages by means of high-level Petri nets
Churina, Tatyana Gennadyevna, 2000, Candidate of Sciences dissertation
Novosibirsk
141 pp.
More works in this specialty
- Research and development of a method for automatic classification of Internet user behavior
Shcherbina, Andrey Andreyevich · 2007 · Candidate of Sciences
- Investigation and implementation of non-procedural program transformations for building an extensible parallelization system
Zhegulo, Olga Anatol'evna · 2007 · Candidate of Sciences · Southern Federal University
- Methods of estimating software development effort for corporate information systems
Melamed, Aleksandr Yakovlevich · 2006 · Candidate of Sciences
- Research and implementation of methods for building corporate software systems to support changing business processes
Yarnykh, Andrey Valeryevich · 2006 · Candidate of Sciences
- Controlled intruder access in a computer network security system
Gorodetsky, Pavel Eduardovich · 2006 · Candidate of Sciences