Showing
1 - 2
results of
2
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Proch, Cyril
Search Results - Proch, Cyril
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
System-on-chip design by proof-based refinement: IEEE/NASA ISoLA Workshop on Leveraging Applications of Formal Methods
by
CANSELL, Dominique
,
MERY, Dominique
,
PROCH, Cyril
Published in
International journal on software tools for technology transfer
Get full text
Article
Save to List
Saved in:
2
Loading…
System-on-chip design by proof-based refinement
by
Cansell, Dominique
,
Méry, Dominique
,
Proch, Cyril
Published in
International journal on software tools for technology transfer
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
2 results
2
Full Text
2 results
2
Format
Articles
2 results
2
Journal Title
International Journal On Software Tools For Technology Transfer
2 results
2
Subjects
Software Engineering
2 results
2
Applied Sciences
1 results
1
Computer Architecture
1 results
1
Computer Science
1 results
1
Computer Science; Control Theory; Systems
1 results
1
Data Structures And Algorithms
1 results
1
Design Engineering
1 results
1
Embedded Systems
1 results
1
Event B Method
1 results
1
Exact Sciences And Technology
1 results
1
Formal Modelling
1 results
1
Operational Semantics
1 results
1
Proof
1 results
1
Refinement
1 results
1
Regular Paper
1 results
1
Semiconductors
1 results
1
Simulation
1 results
1
Software
1 results
1
Software Engineering/Programming And Operating Systems
1 results
1
System-On-Chip
1 results
1
more…
less…
Year of Publication
From:
To:
1400 : 2026
1400
2026
Source
Springer Nature - Connect Here First To Enable Access
2 results
2
Springer Link
1 results
1