Konferenzschrift
Petri nets in system engineering : modelling, verification, and validation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
174 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Bibl. des Fachbereichs Informatik, Univ.
- (when)
-
1997
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:27 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
Associated
- Farwer, Berndt
- Universität Hamburg. Fachbereich Informatik
- PNSE (1997 : Hamburg)
- Bibl. des Fachbereichs Informatik, Univ.
Time of origin
- 1997
Other Objects (12)
Verification and validation in systems engineering : assessing UML/SysML design models
Verification of Factorio Belt Balancers using Petri Nets
Petri Nets in Software Engineering
Petri nets for systems engineering : a guide to modeling, verification, and applications ; with 9 tables
Software Process Modelling with FUNSOFT Nets
Stochastic Petri nets : modelling, stability, simulation
Verification and validation of sensor networks
Macro-modelling via radial basis functionen nets
Algebraic System Nets for ModellingDistributed Algorithms
Verification and validation of real time software
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Verification and validation in systems engineering : assessing UML/SysML design models
Verification of Factorio Belt Balancers using Petri Nets
Petri Nets in Software Engineering
Petri nets for systems engineering : a guide to modeling, verification, and applications ; with 9 tables
Software Process Modelling with FUNSOFT Nets
Stochastic Petri nets : modelling, stability, simulation
Verification and validation of sensor networks
Macro-modelling via radial basis functionen nets
Algebraic System Nets for ModellingDistributed Algorithms
Verification and validation of real time software
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Verification and validation in systems engineering : assessing UML/SysML design models
Verification of Factorio Belt Balancers using Petri Nets
Petri Nets in Software Engineering
Petri nets for systems engineering : a guide to modeling, verification, and applications ; with 9 tables
Software Process Modelling with FUNSOFT Nets
Stochastic Petri nets : modelling, stability, simulation
Verification and validation of sensor networks
Macro-modelling via radial basis functionen nets
Algebraic System Nets for ModellingDistributed Algorithms
Verification and validation of real time software
Pedestrian flow simulation validation and verification techniques