-
1دورية أكاديمية
المصدر: Computers, Vol 10, Iss 12, p 169 (2021)
مصطلحات موضوعية: model-based simulation, model-based instruction, computerized accounting system, formal model, colored petri net, ledger account, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2مؤتمر
المؤلفون: Sufian Sudeng, Arthit Thongtak
المصدر: TENCON 2007 - 2007 IEEE Region 10 Conference. :1-4 Oct, 2007
Relation: TENCON 2007
-
3
المؤلفون: Chanon Dechsupa, Arthit Thongtak, Wiwat Vatanawood
المصدر: Engineering Journal. 25:135-150
مصطلحات موضوعية: Business Process Model and Notation, Computer science, business.industry, General Engineering, Code coverage, Software engineering, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c79fe0fd3da15092d40c602ed03f331f
https://doi.org/10.4186/ej.2021.25.2.135 -
4
المؤلفون: Wiwat Vatanawood, Arthit Thongtak, Chanon Dechsupa
المصدر: IEEE Access, Vol 7, Pp 16795-16815 (2019)
مصطلحات موضوعية: General Computer Science, Semantics (computer science), Computer science, BPMN, 02 engineering and technology, Data modeling, Business Process Model and Notation, Software development process, Software, 020204 information systems, colored Petri net, 0202 electrical engineering, electronic engineering, information engineering, State space, General Materials Science, Formal verification, Abstraction (linguistics), business.industry, General Engineering, model transformation, hierarchical verification, 020207 software engineering, Petri net, lcsh:Electrical engineering. Electronics. Nuclear engineering, Software engineering, business, lcsh:TK1-9971
-
5
المؤلفون: Arthit Thongtak, Wiwat Vatanawood, Chanon Dechsupa
المصدر: IEEE Access, Vol 6, Pp 38421-38436 (2018)
مصطلحات موضوعية: Model checking, General Computer Science, Computer science, BPMN, 02 engineering and technology, computer.software_genre, Data modeling, Business Process Model and Notation, 020204 information systems, colored Petri net, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, formal verification, Formal verification, Abstraction (linguistics), Programming language, General Engineering, model transformation, Deadlock, Petri net, Transformation (function), Task analysis, 020201 artificial intelligence & image processing, lcsh:Electrical engineering. Electronics. Nuclear engineering, computer, lcsh:TK1-9971
-
6
المؤلفون: Pitchayapatchaya Srikram, Arthit Thongtak
المصدر: Transactions on Engineering Technologies ISBN: 9789811074875
مصطلحات موضوعية: Computer engineering, Relation (database), Asynchronous communication, Computer science, Logic gate, Path (graph theory), Scalability, SIGNAL (programming language), Distributed lock manager, Delay insensitive circuit
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::def05cda3d203305b337bbb720004bed
https://doi.org/10.1007/978-981-10-7488-2_14 -
7
المؤلفون: Arthit Thongtak, Wiwat Vatanawood, Onsuthee Chaichompoo
المصدر: 2017 11th International Conference on Telecommunication Systems Services and Applications (TSSA).
مصطلحات موضوعية: Correctness, Programming language, Computer science, 05 social sciences, Liveness, 050801 communication & media studies, 02 engineering and technology, Petri net, computer.software_genre, Security token, 0508 media and communications, Transformation (function), Promela, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), 020201 artificial intelligence & image processing, Representation (mathematics), computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5e15db8f9b5ea1185c6c428a7cb0643f
https://doi.org/10.1109/tssa.2017.8272928 -
8
المؤلفون: Muslin Ridhrod, Taratip Suwannasart, Arthit Thongtak
المصدر: International Journal of Management and Sustainability. 3(2):16-23
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______645::e6497ed8c5b1302db78d14934afab242
http://www.conscientiabeam.com/journal/11/abstract/2477 -
9
المؤلفون: Wiwat Vatanawood, Arthit Thongtak, Patsakorn Rittitum
المصدر: ICIS
مصطلحات موضوعية: Scrum, Leap motion, business.industry, Human–computer interaction, Computer science, Scroll, Hand motion, Pointing device, Drag and drop, business, Set (psychology), Simulation, Gesture
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::681c6b1ab0fd454ac423f6b490c78642
https://doi.org/10.1109/icis.2016.7550836 -
10
المؤلفون: Punwess Sukvanich, Arthit Thongtak, Wiwat Vatanawood
المصدر: Lecture Notes in Electrical Engineering ISBN: 9789811005565
مصطلحات موضوعية: Model checking, Scheme (programming language), Theoretical computer science, System model, Promela, Computer Science::Logic in Computer Science, Metric (mathematics), SPIN model checker, Temporal logic, Macro, Algorithm, computer, Mathematics, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4ffdc4f69a75cd426771918e3446c6e4
https://doi.org/10.1007/978-981-10-0557-2_99