Knihobot

Jiacun Wang

    Frenchman's Gold
    Formal Methods in Computer Science
    Timed Petri Nets
    • Timed Petri Nets

      Theory and Application

      • 296 stránek
      • 11 hodin čtení
      2,0(1)Ohodnotit

      The book explores high-performance discrete event dynamic systems (DEDSs), which are essential for enhancing productivity and competitiveness in modern civilization. It delves into the complexity and scalability of these systems, which include manufacturing, communication, and logistics. The focus is on the critical role of modeling and performance evaluation in their design and operation. Additionally, it highlights a specific methodology using timed Petri nets and associated graphical and mathematical tools, reflecting two decades of research in this field.

      Timed Petri Nets
    • Formal Methods in Computer Science

      • 294 stránek
      • 11 hodin čtení
      1,5(2)Ohodnotit

      Focusing on formal methods, this textbook provides a thorough introduction to their application in specifying and verifying both software and hardware. It equips students with essential concepts and techniques, making it a valuable resource for understanding the rigor and precision required in the development of reliable systems.

      Formal Methods in Computer Science