Methods of fomalization and simulation of telecommunication network using network slice | IEEE Conference Publication | IEEE Xplore