1999
Journal article  Unknown

Modelling mobile applications

Gnesi S., Semini L.

Modelling specifications  Software/program verification. Formal methods 

There has been growing interest in wide-area distributed applications in recent years. A key concept for structuring such applications is represented by mobile agents, units of executing code that can migrate between sites.

Source: ERCIM news 36 (1999): 27–28.

Publisher: ERCIM., Le Chesnay



Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:407777,
	title = {Modelling mobile applications},
	author = {Gnesi S. and Semini L.},
	publisher = {ERCIM., Le Chesnay},
	journal = {ERCIM news},
	volume = {36},
	pages = {27–28},
	year = {1999}
}