Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Upp till 20% på populära nyheter →

Agata Pólrola – författare

Visar alla böcker från författaren Agata Pólrola. Handla med fri frakt och snabb leverans.

3 produkter

Kategorier

3 produkter

Del 20 - Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
AvWojciech Penczek,Agata Pólrola
Inbunden, Engelska, 2006
1 634 kr
Skickas inom 10-15 vardagar
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
AvAgata Polrola,Wojciech Penczek
E-bok
PDF, Engelska, 2007
2 044 kr
Läs direkt efter köp
Del 20 - Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
AvWojciech Penczek,Agata Pólrola
Häftad, Engelska, 2010
1 634 kr
Skickas inom 10-15 vardagar
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.