Slika omota

Systems dependability assessment : benefits of petri net models /

Spremljeno u:

Bibliografski detalji
Glavni autori:	Aubry, Jean-Francois (Autor), Brinzei, Nicolae (Autor), Mazouni, Mohammed-Habib (Autor)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Hoboken, New Jersey : ISTE : Wiley, 2015.
Serija:	Systems and industrial engineering series. Systems dependability assessment set.
Teme:	System design. System analysis. Petri nets. Electronic books.
Online pristup:	Click to View
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti

Petri nets fundamental models, verification and applications /
Izdano: (2009)

Biological petri nets
Izdano: (2011)

Elements of distributed algorithms : modeling and analysis with Petri nets /
od: Reisig, Wolfgang, 1950-
Izdano: (1998)

Petri net modeling and software safety analysis: methodology for an embedded military application.
od: Lewis, Alan D.
Izdano: (June)

The formal specification of computer systems using Petri Nets.
od: Karrasch, Klaus
Izdano: (Dece)

Petri-Net simulations of communications networks
od: Jennings, Stephen Craig, i dr.
Izdano: (Marc)

Property-preserving petri net process algebra in software engineering
od: Huang, Hejiao
Izdano: (2012)

Petri Net and Fault Tree analysis : combining two techniques for a software safety analysis on an embedded military application
od: McGraw, Richard J. Jr.
Izdano: (Dece)

Petri-Netz basierte verifikation von funktionalen testfallen /
od: Thiel, Sebastian
Izdano: (2012)

MODELING STRENGTH PROPERTIES OF PRODUCTS OF ADDITIVE TECHNOLOGIES USING PARALLEL COMPUTING
od: A. N. Privalov, i dr.
Izdano: (2022)

Systems dependability assessment : modeling with graphs and finite state automata /
od: Aubry, Jean-Francois, i dr.
Izdano: (2015)

Performance prediction from a computer hardware description
od: Cox, Lyle Ashton
Izdano: (1979)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
od: Yoeli, Michael, 1917-
Izdano: (2008)

A practical application of Petri nets in the software safety analysis of a real-time military system.
od: Hayward, Duston L.
Izdano: (Dece)

Compositional semantics of a real-time prototyping language
od: Kramer, Bernd, i dr.
Izdano: (2014)

Quantifying Controller Resilience Using Behavior Characterization
od: Bushey, Henry W., i dr.
Izdano: (2012)

AdaFlow: the automation of software analysis using Petri Nets.
od: Grecco, Albert J.
Izdano: (June)

System behavior models: a survey of approaches
od: Ruppel, Scott R.
Izdano: (2016)

Analysis of engineer C2 as modeled by stochastic, timed attributed Petri Nets
od: Tabacchi, Peter J.
Izdano: (1990)

Safety analysis of heterogeneous-multiprocessor control system software
od: Gill, Janet A.
Izdano: (Dece)

Method of Serious Traffic Incidents Analysis with the Use of Stochastic Timed Petri Nets
od: Jacek Skorupski
Izdano: (2013)

SIMULATOR MODEL OF ORDER SERVICE SYSTEM OF THE COMMUNICATION OPERATOR BASED ON THE PETRI NET
od: V. P. Mochalov, i dr.
Izdano: (2022)

Towards Quantifying Programmable Logic Controller Resilience Against Intentional Exploits
od: Bushey, Henry W.
Izdano: (2012)

Modellbasierte Entscheidungsunterstützung für Vertraulichkeit und Datenschutz in Geschäftsprozessen
od: Alpers, Sascha
Izdano: (2023)

Denotational Semantics of a Real-Time Prototyping Language
od: Krämer, Bernd, i dr.
Izdano: (2020)

The Entity-Relationship approach: a good tool for tactical data system?.
od: Kauffold, Richard P.
Izdano: (June)

Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications
od: Healey, A.J., i dr.
Izdano: (2014)

Egon Petri, musician to the world : interviews and commentary /
od: Kanwischer, Alfred
Izdano: (2019)

Objektbasierte Generierung von Geschäftsprozessmodellen
od: Schüler, Selina
Izdano: (2026)

System engineering analysis, design, and development : concepts, principles, and practices /
od: Wasson, Charles S., 1948-
Izdano: (2016)

Predicting software performance in symmetric multi-core and multiprocessor Environments
od: Happe, Jens
Izdano: (2021)

Logic, computation, hierarchies /
Izdano: (2014)

Integrated theater assessment profiling system
od: Wiest, James A., i dr.
Izdano: (Sept)

Building dependable distributed systems /
od: Zhao, Wenbing, Ph.D
Izdano: (2014)

Concurrency and synchronization in the INTEL iAPX-432 prototype systems implementation language
od: MacLennan, Bruce J.
Izdano: (1983)

Renewable Energy Systems for Building Designers
od: Gerring, Dorothy
Izdano: (2023)

Rapid contextual design a how-to guide to key techniques for user-centered design /
od: Holtzblatt, Karen
Izdano: (2005)

Contextual design : design for life /
od: Holtzblatt, Karen, i dr.
Izdano: (2016)

Modelling of Traffic Incidents in Transport
od: Jacek Skorupski
Izdano: (2012)

Net technical assessment
od: Wegmann, David G.
Izdano: (2013)