books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 21; Issue 6
Main
Formal Aspects of Computing
Volume 21; Issue 6
Formal Aspects of Computing
Volume 21; Issue 6
1
Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
Li Su
,
Howard Bowman
,
Philip Barnard
,
Brad Wyble
Journal:
Formal Aspects of Computing
Year:
2009
Language:
english
File:
PDF, 766 KB
Your tags:
english, 2009
2
Refinement for user interface designs
Judy Bowen
,
Steve Reeves
Journal:
Formal Aspects of Computing
Year:
2009
Language:
english
File:
PDF, 615 KB
Your tags:
english, 2009
3
Physigrams: modelling devices for natural interaction
Alan Dix
,
Masitah Ghazali
,
Steve Gill
,
Joanna Hare
,
Devina Ramduny-Ellis
Journal:
Formal Aspects of Computing
Year:
2009
Language:
english
File:
PDF, 1.07 MB
Your tags:
english, 2009
4
Model-checking user behaviour using interacting components
Thomas Anung Basuki
,
Antonio Cerone
,
Andreas Griesmayer
,
Rudolf Schlatte
Journal:
Formal Aspects of Computing
Year:
2009
Language:
english
File:
PDF, 541 KB
Your tags:
english, 2009
5
Verification-guided modelling of salience and cognitive load
Rimvydas Rukšėnas
,
Jonathan Back
,
Paul Curzon
,
Ann Blandford
Journal:
Formal Aspects of Computing
Year:
2009
Language:
english
File:
PDF, 1.09 MB
Your tags:
english, 2009
6
Editorial
Antonio Cerone
,
Paul Curzon
,
David Duce
Journal:
Formal Aspects of Computing
Year:
2009
Language:
english
File:
PDF, 46 KB
Your tags:
english, 2009
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×