A model for real-time systems using multi-cost timed process algebra

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	LISS 2012 ; Vol. 2
1. Verfasser:	Guo, Zhuo (VerfasserIn)
Weitere Verfasser:	Qiao, Jianzhong (VerfasserIn), Lin, Shukuan (VerfasserIn)
Pages:	2012
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2013
Schlagworte:	Aufsatz im Buch
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Mapping from SHOIN(D) to basic-element and complex-element of extenics	2013	Bin, Wen
The evolution of technical cooperation networks : a perspective from complex network theory	2013
Research on customer classification of Beijing-Tianjin Passenger Dedicated Line based on customer value	2013	Song, Yutian
A model for real-time systems using multi-cost timed process algebra	2013	Guo, Zhuo
A cloud framework for electronic commerce applications	2013
Applying RFID and GPS tracker for ensuring cargo transportation security	2013	Zhang, Ruijian
Study of architecture of railway freight station information system based on the Internet of things	2013	Sun, Zhiheng
Semantic++ digital library service framework in the cloud environment	2013
Research on web-aware under the environment of cloud computing	2013
Research on the integration information platform of high quality teaching resources in Beijing universities based on the cloud storage	2013	Zhang, Shugang
Improvement of traceability processes in the farmed fish supply chain	2013
Research on the driving force mechanism of ecosystem of cyber-society based on the ISM	2013	Guan, Xiaolan
The analysis to the logistics mode decision of B2C	2013
The research of transaction costs between real estate developers and their partners	2013	Xie, Zhenzhen
The operation research on authority-linked management model of organization coordination network of major scientific and technological project	2013	He, Xin Wen
Analysis of breakthrough pathway for further development of regional tourism cooperation	2013	Wang, Xuefeng
Children's mental health evaluation using chemical sensor	2013
Evaluating information quality dimensions in e-government services	2013	Su, Ying
An analysis on agricultural insurance subsidy resource allocation : a principal-agent perspective	2013	Zhao, Shuxin
An evidential reasoning method for multiple attributive group decision making under linguistic setting	2013	Li, Ming

Alle Artikel auflisten