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 14; Issue 3
Main
Formal Aspects of Computing
Volume 14; Issue 3
Formal Aspects of Computing
Volume 14; Issue 3
1
Editorial
JOHN COOKE
,
SAVI MAHARAJ
,
JUDI ROMIJN
,
CARRON SHANKLAND
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 26 KB
Your tags:
english, 2003
2
IEEE 1394 Tree Identify Protocol: Introduction to the Case Study
He Jifeng
,
Xu Qiwen
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 171 KB
Your tags:
english, 2003
3
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
Jean-Raymond Abrial
,
Dominique Cansell
,
Dominique Méry
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 126 KB
Your tags:
english, 2003
4
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic
Alberto Verdejo
,
Isabel Pita
,
Narciso Martí-Oliet
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 168 KB
Your tags:
english, 2003
5
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol
M. Calder
,
A. Miller
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 182 KB
Your tags:
english, 2003
6
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV
Viktor Schuppan
,
Armin Biere
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 142 KB
Your tags:
english, 2003
7
But What if I Don't Want to Wait Forever?
Colin Fidge
,
Carron Shankland
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 145 KB
Your tags:
english, 2003
8
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
Marta Kwiatkowska
,
Gethin Norman
,
Jeremy Sproston
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 256 KB
Your tags:
english, 2003
9
False Loop Detection in the IEEE 1394 Tree Identify Phase
Judi Romijn
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 289 KB
Your tags:
english, 2003
10
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol
Mariëlle Stoelinga
Journal:
Formal Aspects of Computing
Year:
2003
Language:
english
File:
PDF, 113 KB
Your tags:
english, 2003
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
×
×