Showing
1 - 2
results of
2
for search '
"Pappagallo, Angela"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "Pappagallo, Angela"
Showing
1 - 2
results of
2
for search '
"Pappagallo, Angela"
'
, query time: 0.83s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
by
Pappagallo
,
Angela
,
Massini, Annalisa
,
Tronci, Enrico
Published in
Information (Basel)
(01.12.2020)
Get full text
Journal Article
Save to List
Saved in:
2
Loading…
Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking
by
Pappagallo
,
Angela
Published in
AIxIA 2021 – Advances in Artificial Intelligence
Get full text
Book Chapter
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Conference Proceeding
1 results
1
Journal Article
1 results
1
Subject Area
computer science
2 results
2
engineering
1 results
1
Topic
computer science
2 results
2
science & technology
2 results
2
technology
2 results
2
computer science, artificial intelligence
1 results
1
computer science, information systems
1 results
1
cyber-physical systems
1 results
1
See more
Language
English
2 results
2
Year of Publication
From:
To:
Database
ProQuest Technology Collection
1 results
1
EBSCOhost Academic Search Ultimate - eBooks
1 results
1
ProQuest Central
1 results
1
DOAJ Directory of Open Access Journals
1 results
1
Open Access Digital Library
1 results
1
ROAD: Directory of Open Access Scholarly Resources
1 results
1
See more