Showing
1 - 6
results of
6
for search '
Paolo Masci
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Paolo Masci
Showing
1 - 6
results of
6
for search '
Paolo Masci
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
An Integrated Development Environment for the Prototype Verification System
by
Paolo
Masci
,
César A. Muñoz
Published 2019-12-01
Get full text
Article
2
Integrating User Design and Formal Models within PVSio-Web
by
Nathaniel Watson
,
Steve Reeves
,
Paolo
Masci
Published 2018-11-01
Get full text
Article
3
Templates as heuristics for proving properties of medical devices
by
Michael Harrison
,
Jose Campos
,
Paolo
Masci
,
Paul Curzon
Published 2015-12-01
Get full text
Article
4
Issues in number entry user interface styles: Recommendations for mitigation
by
Harold Thimbleby
,
Patrick Oladimeji
,
Paolo
Masci
,
Paul Curzon
Published 2015-12-01
Get full text
Article
5
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
by
Paolo
Masci
,
Patrick Oladimeji
,
Piergiuseppe Mallozzi
,
Paul Curzon
,
Harold Thimbleby
Published 2016-11-01
Get full text
Article
6
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
by
Camille Fayollas
,
Célia Martinie
,
Philippe Palanque
,
Paolo
Masci
,
Michael D. Harrison
,
José C. Campos
,
Saulo Rodrigues e Silva
Published 2017-01-01
Get full text
Article
Search Tools:
Get RSS Feed
—
Email this Search
Loading...