An executable specification language based on message sequence charts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39003 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-39003 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-390032015-01-19T22:14:52Z An executable specification language based on message sequence charts Roychoudhnry, A. Thiagarajan, P.S. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2757 226-241 2013-07-04T07:31:46Z 2013-07-04T07:31:46Z 2003 Article Roychoudhnry, A.,Thiagarajan, P.S. (2003). An executable specification language based on message sequence charts. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2757 : 226-241. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/39003 NOT_IN_WOS Scopus |
institution |
National University of Singapore |
building |
NUS Library |
country |
Singapore |
collection |
ScholarBank@NUS |
description |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
author2 |
COMPUTER SCIENCE |
author_facet |
COMPUTER SCIENCE Roychoudhnry, A. Thiagarajan, P.S. |
format |
Article |
author |
Roychoudhnry, A. Thiagarajan, P.S. |
spellingShingle |
Roychoudhnry, A. Thiagarajan, P.S. An executable specification language based on message sequence charts |
author_sort |
Roychoudhnry, A. |
title |
An executable specification language based on message sequence charts |
title_short |
An executable specification language based on message sequence charts |
title_full |
An executable specification language based on message sequence charts |
title_fullStr |
An executable specification language based on message sequence charts |
title_full_unstemmed |
An executable specification language based on message sequence charts |
title_sort |
executable specification language based on message sequence charts |
publishDate |
2013 |
url |
http://scholarbank.nus.edu.sg/handle/10635/39003 |
_version_ |
1681082019488989184 |