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

Tekijä: Wojciech Penczek; Agata Pólrola
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

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

Tekijä: Wojciech Penczek; Agata Pólrola
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

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

Wojciech Penczek, Agata Pólrola

129,90 €

Springer
Sivumäärä: 257 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2010, 25.11.2010 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus