![]() |
Young informatics - 2006 |
![]() |
Collection of papers of graduate students and young scientists
|
Timed configuration structures: equivalence notions and action refinement |
Human-machine model of language of thinking |
Detection of feature interaction in telephone networks using colored Petri nets |
2D- and 3D-visualization of a solution set in the UniCalc system |
Formal model of the UML class diagram |
Translation of a language of executable specifications of distributed systems SDL into a language of executable specifications REAL |
Automatic recovery of program business logic |
Open maps and timed testing equivalence for timed automata models |
The model of adaptive behavior based on the semantic probabilistic inference |
XML algebra for XQuery |
Formal model of the basic concepts of the programming language C# |