This study investigated the role of age, marital status, gender, nationality, educational
background and monthly income in drivers' comprehension of traffic signs. The populations …

The time Petri net (TPN) is a powerful tool for modeling, simulating, and verifying real-time
systems. Unfortunately, the state spaces of the time Petri net grow exponentially due to the …

Program slicing is a reduction technique that removes irrelevant parts of a program
automatically, based on dependencies. It is used in the context of documentation to improve …

Performance evaluation of the Computer Systems has been a challenging task.
Measurement of Worst Case Execution Time (WCET) is an important metrics for evaluating …

Slicing is a program analysis technique which can be used for reducing the size of the
model and avoid state space explosion in model checking. In this work a static slicing …

Bisimulations are equivalence relations between transition systems which assure that
certain aspects of the behaviour of the systems are the same in a related pair. For many …

This paper present a dead variable analysis algorithm for reducing the state space of
UPPAAL models. By resetting irrelevant variables to their initial value reductions of UPPAAL …

Abstract ไท ม์ เพท ริ เน็ต เป็น เครื่องมือ สำหรับ การ สร้าง แบบ จำลอง และ ทวน สอบ ระบบ เวลา จริง
ปริภูมิ สถานะ ของ ไท ม์ เพท ริ เน็ต นั้น มี อัตรา การ เติบโต แบบ เอก โพ เน น เชีย ล เนื่องจาก ความ …

The development of autonomous mobile robots is a major topic of current research. As those
robots must be able to react to changing environments and avoid collisions also with moving …

Abstract Model-driven development strives to use formal artifacts during the development
process. Formal artifacts enables automatic analyses of some aspects of the system under …