.Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /.,.
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
.Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /.,.
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
.Formal techniques for networked and distributed systems--FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings /.,.
Formal techniques for networked and distributed systems--FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Ageyev, Dmytro,,Radivilova, Tamara,,Kryvinska, Natalia,.Data-centric business and applications : ICT systems--theory, radio-electronics, information technologies and cybersecurity /.Springer,,2021..
Alexander Biedermann..Design concepts for a virtualizable embedded MPSoC architecture : enabling virtualization in embedded multi-processor systems /.Springer Vieweg,,c2014..