|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 220 | Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang |
Modeling, verification, and implementation of PLC program using timed-MPSG.  |
SCSC  |
2007 |
DBLP BibTeX RDF |
modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC) |
| 220 | Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin Shin |
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
MPSG, Shop floor Control, Verification and Validation (V&V), Finite State Automata, FMS |
| 39 | Penghe Chen, Shubhabrata Sen, Hung Keng Pung, Wai Choong Wong |
MPSG: A Generic Context Management Framework in Mobile Spaces. |
BODYNETS |
2013 |
DBLP DOI BibTeX RDF |
|
| 39 | Hsien-Jung Wu, Sanjay B. Joshi |
Error Recovery in MPSG-Based Controllers for Shop Floor Control. |
ICRA |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license