Agata Pólrola | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA - A TEMPORAL LOGIC APPROACH

Wojciech Penczek; Agata Pólrola
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Kovakantinen kirja

129,90 €

ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA : A TEMPORAL LOGIC APPROACH

Wojciech Penczek; Agata Pólrola
Springer (2010)
Pehmeäkantinen kirja

129,90 €

Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach

Wojciech Penczek, Agata Pólrola

129,90 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 257 sivua
Asu: Kovakantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 26.06.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Studies in Computational Intelligence 20

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus