Showing
1 - 1
results of
1
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Page will reload when a filter is removed.
Reset Filters
Show filters (0)
Search Results - "Theory of computation Logic Verification by model checking"
Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees
by
Camara, Javier
Published in
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE)
(01.05.2020)
Get full text
Conference Proceeding
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
Subject Area
computer science
1 results
1
Topic
alloy
1 results
1
computational modeling
1 results
1
computer science
1 results
1
computer science, software engineering
1 results
1
computer science, theory & methods
1 results
1
guarantees
1 results
1
See more
Language
English
1 results
1
Year of Publication
From:
To:
Database
IEEE Electronic Library (IEL)
1 results
1
