Geodesic

Volume 22 (2015) no. 6

Sommaire

End-to-end information flow security model for~software-defined networks
p. 735-749
Model oriented approach for industrial software development
p. 750-762
Fast and safe concrete code execution for~reinforcing static analysis and verification
p. 763-772
Loop invariants elimination for definite iterations over unchangeable data structures in C programs
p. 773-782
Teaching formal models of concurrency specification and analysis
p. 783-794
Formal diagonalisation of Lax--Darboux schemes
p. 795-817
System runs analysis with process mining
p. 818-833
Linguistic and statistical analysis of the terminology for~constructing the thesaurus of a specified field
p. 834-851
Development of active external network topology module for~floodlight SDN controller
p. 852-861