//--> //--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"formal verification"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
formal verification
7
embedded systems
3
BPMN
2
Business process management
2
Formal Verification
2
Formal verification
2
Graph theory
2
Graphentheorie
2
Modellierung
2
Prozessmanagement
2
Scientific modelling
2
AADL
1
ABAC
1
Aeronautics
1
Aerospace industry
1
Aircraft
1
Autonomous System
1
Behavior-Based
1
Business process
1
Business process testing
1
CPN-tool
1
Cloud Computing
1
Cloud computing
1
Cryptography
1
DLP
1
Data analysis
1
Decision support
1
ECC
1
Failure prevision
1
IT- Information Technology
1
Informatik
1
Instandhaltung
1
KMU
1
Localization
1
Luftfahrtindustrie
1
Luftfahrzeug
1
MDE
1
Maintenance
1
Maintenance policy
1
Management information system
1
more ...
less ...
Online availability
All
Free
5
Undetermined
3
Type of publication
All
Article
9
Book / Working Paper
2
Type of publication (narrower categories)
All
Article in journal
5
Aufsatz in Zeitschrift
5
Graue Literatur
2
Hochschulschrift
2
Non-commercial literature
2
Language
All
English
8
Undetermined
2
German
1
Author
All
Arkin, Ronald C
1
Ben Attia, Hasiba
1
Benharzallah, Saber
1
Berger, Michael
1
Brewka, Lukasz
1
Grobosch, Sebastian Patrick
1
Guerreiro, Sérgio Luís Proença Duarte
1
Hugues, Jérôme
1
Jiang, Shu
1
Jmaiel, Mohamed
1
Kahloul, Laid
1
Kerber, Manfred
1
Kumar, Gautam
1
Liu, Yinling
1
Lopes, Tomás
1
Loupis, Michalis
1
Lyazidi, Achraf
1
Lyons, Damian
1
Mkaouar, Hana
1
Mouline, Salma
1
O'Brien, Matthew J
1
Rowat, Colin
1
Saini, Hemraj
1
Soler, José
1
Tang, Feng
1
Tang, Peng
1
Vosloo, Neels
1
Zalila, Bechir
1
more ...
less ...
Published in...
All
Business Systems Research
2
Business process management journal
1
International Journal of Information Security and Privacy (IJISP)
1
International Journal of Monitoring and Surveillance Technologies Research (IJMSTR)
1
International journal of business and systems research : IJBSR
1
International journal of business process integration and management : IJBPIM
1
International journal of management and decision making : IJMDM
1
Journal of risk management in financial institutions
1
more ...
less ...
Source
All
ECONIS (ZBW)
7
RePEc
2
Other ZBW resources
2
Showing
11
-
11
of
11
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
11
A model-driven engineering approach to formally verify BPMN models using Petri nets
Lyazidi, Achraf
;
Mouline, Salma
- In:
International journal of business process integration …
8
(
2017
)
4
,
pp. 273-284
Persistent link: https://www.econbiz.de/10011856379
Saved in:
First
Prev
1
2
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->