A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA)

No full text

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Nguyen, Thanh-Phuong; Nguyen, Ngoc Binh

2004 • In The procedding of the IEEE RIVF 2004 conference

Peer reviewed

Permalink
https://hdl.handle.net/10993/21709

No document available.

Disciplines :

Computer science

Author, co-author :

Nguyen, Thanh-Phuong ; Hanoi University of Technology

Nguyen, Ngoc Binh; Hanoi University of Technology

External co-authors :

yes

Language :

English

Title :

A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA)

Publication date :

2004

Event name :

The IEEE RIVF0'04

Event date :

Febuary 87-98 2004

Audience :

International

Main work title :

The procedding of the IEEE RIVF 2004 conference

Peer reviewed :

Peer reviewed

Commentary :

87--98

Available on ORBilu :

since 03 August 2015

Number of views

59 (2 by Unilu)

Number of downloads

0 (0 by Unilu)