Industrial deployment of system engineering methods providing high dependability and productivity

 

Formal Approach to Ensuring Interoperability of Mobile Agents

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Approach to Ensuring Interoperability of Mobile Agents. In: Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. IGI Global. ISBN ISBN13: 9781615206551

Full text not available from this repository.

Official URL: http://www.igi-global.com/bookstore/titledetails.aspx?titleid=41800


Item Type:Book Section
Subjects:Event-B
Methodology > Refinement
Methodology
Methodology > Resilience
ID Code:317
Deposited By:Prof A Romanovsky
Deposited On:02 Aug 2011 11:47
Last Modified:02 Aug 2011 11:47

Repository Staff Only: item control page

Deploy-Project - All right reserved