|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 533-540, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 101, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BODYNETS ![In: 8th International Conference on Body Area Networks, BODYNETS 2013, Boston, MA, USA, September 30 - October 2, 2013, pp. 112-115, 2013, ICST, 978-1-936968-89-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Hsien-Jung Wu, Sanjay B. Joshi |
Error Recovery in MPSG-Based Controllers for Shop Floor Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1994 International Conference on Robotics and Automation, San Diego, CA, USA, May 1994, pp. 1374-1379, 1994, IEEE Computer Society, 0-8186-5330-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|