Search Results for State, The.

DEFAULT_TR

5 sonuç bulundu

Arama sonuçlarına abone ol

Select All

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULT_TR

Yazdır

1.

Principles of the Spin Model Checker için kapak resmi

Principles of the Spin Model Checker

Principles of the Spin Model Checker

by

Ben-Ari, Mordechai. author.

http://dx.doi.org/10.1007/978-1-84628-770-1

Format:

Elektronik Kaynak

Alıntı:

software engineers who wish to learn Promela and Spin. The presentation starts with the verification of

2.

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings için kapak resmi

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

by

Kleijn, Jetty. editor.

http://dx.doi.org/10.1007/978-3-540-73094-1

Format:

Elektronik Kaynak

Alıntı:

Specifications for Reconfigurable Component Systems -- Generating Petri Net State Spaces -- Full Papers -- Markov

3.

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings için kapak resmi

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

by

Hee, Kees M. editor.

http://dx.doi.org/10.1007/978-3-540-68746-7

Format:

Elektronik Kaynak

Alıntı:

Firing Policies -- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol

4.

Handbook of Model Checking için kapak resmi

Handbook of Model Checking

Handbook of Model Checking

by

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Elektronik Kaynak

Alıntı:

, comprehensive description of the state of the art in model checking. It belongs on the bookshelf of every

5.

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers için kapak resmi

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers

by

Taufer, Michela. editor.

https://doi.org/10.1007/978-3-319-46079-6

Format:

Elektronik Kaynak

Alıntı:

Suitability Assessment for Many-Core Targets -- Applying the Rooine Performance Model to the Intel Xeon Phi

Select All

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2