| Domain category: | bulk | ||
| web.archive.org records for domain: | ?? | ||
| Total backlinks: | 134 | (Google) Total backlinks: | 8 |
| Analyzed backlinks from domains: | 98 | (Google) Analyzed backlinks from domains: | 8 |
| Domains w/multiple backlinks: | 0 | (Google) Domains w/multiple backlinks: | 0 |
| Inaccessible pages: | 25 | (Google) Inaccessible pages: | 4 |
| Dead backlinks: | 40 | (Google) Dead backlinks: | 3 |
| Good backlinks: | 11 | (Google) Good backlinks: | 1 |
| Average backlinks: | 5 | (Google) Average backlinks: | 0 |
| Bad backlinks: | 17 | (Google) Bad backlinks: | 0 |
| Known PageRanks sum: | 4 | (Google) Known PageRanks sum: | 0 |
| Known Real PageRanks sum: | 130 | (Google) Known Real PageRanks sum: | 0 |
| Source | Backlinking page | Backlink target | Backlink anchor | PR | Real PR | State | Rating | |
|---|---|---|---|---|---|---|---|---|
| 1. | Yahoo |
users COMP 491: Class Meeting #2 |
http: |
B development method | 3 | 125 |
|
|
| 2. | Yahoo |
unl.c CASE Vendor List |
http: |
B-Core(UK) Ltd. | 1 | 5 |
|
|
| 3. | Yahoo |
b-core.co.uk The BOOSTER Technology |
http: |
http://www.b-core.com | 0 | 0 |
|
|
| 4. | Yahoo |
non.com Comp.specification.z Frequently Asked Questions (Monthly) FAQ |
http: |
http://www.b-core.com/ | — | 0 |
|
|
| 5. | Yahoo |
systemcomputing.org Formal Methods |
http: |
B-Core (UK) Ltd | — | 0 |
|
|
| 6. | Yahoo |
hotfrog.co.uk B Core |
http: |
http://www.b-core.com | — | 0 |
|
|
| 7. | Yahoo |
sofsem.cz SOFSEM '96 - Programme |
http: |
B-Core (UK) Ltd. | — | 0 |
|
|
| 8. | Yahoo |
aaspa Aaspaas Result - Z, Directory, Computers, Programming ... |
http: |
|
— | 0 |
|
|
| 9. | Yahoo |
yell. Computer Software Sales in Didcot - Yell.com local business ... |
http: |
Visit B-Core (UK) Ltd's website | — | 0 |
|
|
| 10. | Yahoo |
cylex B-CORE (UK) LTD, DIDCOT, OXFORDSHIRE, KINGS PIECE, GROVE ROAD |
http: |
www.b-core.com | — | 0 |
|
|
| 11. | Yahoo |
compu Computer Systems for Sale in Didcot, Personal, Business & Used |
http: |
http://www.b-core.com | — | 0 |
|
|
| 12. |
sofsem.cz SOFSEM '96 - Programme |
http: |
B-Core (UK) Ltd. | — | 0 |
|
|
|
| 13. | Yahoo |
markosweb.com www.B-core.com |
http: |
B-Core, The B-Technology Company: Home Page | ?? | 0 |
|
|
| 14. | Yahoo |
direc Computers Oxfordshire : Computers in Oxfordshire |
http: |
B-Core | ?? | 0 |
|
|
| 15. | Yahoo |
software-kompetenz.de B als formale Spezifikationssprache |
http: |
B-Tool und B-Toolkit | ?? | 0 |
|
|
| 16. | Yahoo |
uk-lo B-Core (UK) Ltd - Located in Harwell (South East) - UK-Local ... |
http: |
|
?? | 0 |
|
|
| 17. | Yahoo |
mega- CASE Tools : Software Engineering : Computer Science - Mega Net |
http: |
B-Core | ?? | 0 |
|
|
| 18. | Yahoo |
formalmethods.wikia.com Formal methods - Formal Methods Wiki |
http: |
B-Core (UK) Ltd | ?? | 0 |
|
|
| 19. | Yahoo |
faqs.org Comp.software-eng FAQ (Part 4): CASE tool vendors |
http: |
http://www.b-core.com/ | ?? | 0 |
|
|
| 20. | Yahoo |
csdl. VERTAF: An Application Framework for the Design and ... |
http: |
http:/www.b-core.com/ | ?? | 0 |
|
|
| 21. | Yahoo |
doi.i VERTAF: An Application Framework for the Design and ... |
http: |
http:/www.b-core.com/ | ?? | 0 |
|
|
| 22. | Yahoo |
jedid J E D I D I A H |
http: |
B-Core | ?? | 0 |
|
|
| 23. | Yahoo |
blog. Kickin' the Darkness: October 2007 |
http: |
B Method | ?? | 0 |
|
|
| 24. | Yahoo |
synthesis.ipi.ac.ru Sergey Stupnikov |
http: |
BToolkit | ?? | 0 |
|
|
| 25. | Yahoo |
www2. Formal Methods ``Banner Carriers'': Languages & Tools |
http: |
Ib Holm Sørensen | ?? | 0 |
|
|
| 26. | Yahoo |
cs.sw Bookmarks of Anton Setzer (Software) |
http: |
B Core. B-techonlogy company | ?? | 0 |
|
|
| 27. | Yahoo |
lacl.univ-paris12.fr Liens utiles |
http: |
B-Core | ?? | 0 |
|
|
| 28. | Yahoo |
folk.uio.no IN-SUV systemutvikling og verktøy basert på formelle metoder |
http: |
B-Toolkit | ?? | 0 |
|
|
| 29. | Yahoo |
roland.pri.ee RWiki 24½ BETA - Doktor. Uued viited, jaotamata |
http: |
http://www.b-core.com/ | ?? | 0 |
|
|
| 30. | Yahoo |
absoluteastronomy.com B-Method: Facts, Discussion Forum, and Encyclopedia Article |
http: |
B-Core (UK) Ltd | ?? | 0 |
|
|
| 31. | Yahoo |
maste KRONE Technique (UK)Ltd - Computer Installation Local Area ... |
http: |
A & B Cores Inc | ?? | 0 |
|
|
| 32. | Yahoo |
sits. COM3008 |
http: |
http://www.b-core.com/ | ?? | 0 |
|
|
| 33. | Yahoo |
findw B-Methodに注目してみた : Find Wiki |
http: |
B-Core (UK) Ltd | ?? | 0 |
|
|
| 34. | Yahoo |
jiten B-Method - BIGLOBE百科事典 |
http: |
B-Core (UK) Ltd | ?? | 0 |
|
|
| 35. | Yahoo |
en.wikipedia.org B-Method - Wikipedia, the free encyclopedia |
— | — | ?? | 0 |
|
— |
| 36. | Yahoo |
modev MoDeVa: Perspectives on integrating MDA and VV |
— | — | ?? | 0 |
|
— |
| 37. | Yahoo |
ja.wikipedia.org B-Method - Wikipedia |
— | — | ?? | 0 |
|
— |
| 38. | Yahoo |
hello.to hello.to free short URL redirect and web forwarding service |
— | — | ?? | 0 |
|
— |
| 39. | Yahoo |
fmt.i Collected Links about Formal Methods |
— | — | ?? | 0 |
|
— |
| 40. | Yahoo |
messages.to messages.to free short URL redirect and web forwarding service |
— | — | ?? | 0 |
|
— |
| 41. | Yahoo |
cs.toronto.edu Roadmap for Enhanced Languages and Methods to Aid Verification |
— | — | ?? | 0 |
|
— |
| 42. | Yahoo |
home. B et les méthodes formelles |
— | — | ?? | 0 |
|
— |
| 43. | Yahoo |
edasolutions.com Research Information |
— | — | ?? | 0 |
|
— |
| 44. | Yahoo |
cs.ui Roadmap for Enhanced Languages and Methods to Aid Verification |
— | — | ?? | 0 |
|
— |
| 45. | Yahoo |
busin Software Company Didcot - Development, Business Solutions ... |
— | — | ?? | 0 |
|
— |
| 46. | Yahoo |
eprin Event-Based (Formal) Modelling (and Refinement) of ... |
— | — | ?? | 0 |
|
— |
| 47. | Yahoo |
thor. Lucrari de diploma – 2004 |
— | — | ?? | 0 |
|
— |
| 48. | Yahoo |
worldlingo.com B-Metodo |
— | — | ?? | 0 |
|
— |
| 49. | Yahoo |
assoc B-Method at AllExperts |
— | — | ?? | 0 |
|
— |
| 50. | Yahoo |
kestr Roadmap for Enhanced Languages and Methods to Aid Verification |
— | — | ?? | 0 |
|
— |
| 51. | Yahoo |
qpq.c Specification languages — QPQ Deductive Repository |
— | — | ?? | 0 |
|
— |
| 52. | Yahoo |
palgr Palgrave Macmillan - Computing - The B-Method: An Introduction |
— | — | ?? | 0 |
|
— |
| 53. | Yahoo |
ellop Formal methods - Formal Methods Wiki |
— | — | ?? | 0 |
|
— |
| 54. | Yahoo |
userw CASE Vendor List |
— | — | ?? | 0 |
|
— |
| 55. | Yahoo |
estud E S T U D I O 24 |
— | — | ?? | 0 |
|
— |
| 56. | Yahoo |
jp.tapety.co.pl B-Method - Wikipedia |
— | — | ?? | 0 |
|
— |
| 57. | Yahoo |
9199.jp METHOD - 9199.JP街検索 |
— | — | ?? | 0 |
|
— |
| 58. | Yahoo |
osiero.jp B-Method を教えろ |
— | — | ?? | 0 |
|
— |
| 59. | Yahoo |
uk.wi B-метод — Вікіпедія |
— | — | ?? | 0 |
|
— |
| 60. | Yahoo |
homepage3.nifty.com どのようなツールが利用できますか? |
— | — | ?? | 0 |
|
— |
| 61. | Yahoo |
wiki.okwave.jp B-Method - OKWiki |
— | — | ?? | 0 |
|
— |
| 62. | Yahoo |
dept- Stages - Parcours Ingénierie des Systèmes Critiques |
— | — | ?? | 0 |
|
— |
| 63. | Yahoo |
dept- Stages - Parcours Ingénierie des Systèmes Critiques |
— | — | ?? | 0 |
|
— |
| 64. | Yahoo |
blackmagic.com Last Chance, COM - B |
— | — | ?? | 0 |
|
— |
| 65. | Yahoo |
wpedia.goo.ne.jp B-Methodとは - goo Wikipedia (ウィキペディア) |
— | — | ?? | 0 |
|
— |
| 66. | Yahoo |
archi Roadmap for Enhanced Languages and Methods to Aid Verification |
— | — | ?? | 0 |
|
— |
| 67. | Yahoo |
citizendia.org B-Method - Citizendia |
— | — | ?? | 0 |
|
— |
| 68. | Yahoo |
froola.com Formal methods from Froola |
— | — | ?? | 0 |
|
— |
| 69. | Yahoo |
i12ww What is it? |
— | — | ?? | 0 |
|
— |
| 70. | Yahoo |
newsv About Newsville |
— | — | ?? | 0 |
|
— |
| 71. | Yahoo |
itpedia.sfilar.com B-Method - ITpedia |
— | — | ?? | 0 |
|
— |
| 72. | Yahoo |
wikipedia.atpedia.jp B-Method とは - Wikipedia@pedia |
— | — | ?? | 0 |
|
— |
| 73. | Yahoo |
news.2ch2.net 【2ch2ニュース】-【B-Method】 |
— | — | ?? | 0 |
|
— |
| 74. | Yahoo |
anoword.com [a] B-Method 百科事典 - anoword | アノワード : 検索 - 動画、画像からブログまで |
— | — | ?? | 0 |
|
— |
| 75. |
cites Roadmap for Enhanced Languages and Methods to Aid Verification |
— | — | ?? | 0 |
|
— | |
| 76. |
eprin Providing Concurrent Implementations for Event-B Developments |
— | — | ?? | 0 |
|
— | |
| 77. |
qpq.c Specification languages — QPQ Deductive Repository |
— | — | ?? | 0 |
|
— | |
| 78. | Yahoo |
dcs.qmul.ac.uk The Pre-proceedings of the 2nd International Workshop on ... |
?? | ?? | ?? | 0 |
|
?? |
| 79. | Yahoo |
viswiki.com B-Method - VisWiki |
?? | ?? | ?? | 0 |
|
?? |
| 80. | Yahoo |
cs.ox.ac.uk Department of Computer Science: Ib Holm Sørensen |
?? | ?? | ?? | 0 |
|
?? |
| 81. | Yahoo |
dcs.kcl.ac.uk Safety and Security Critical Systems Course |
?? | ?? | ?? | 0 |
|
?? |
| 82. | Yahoo |
csse. School of Computer Science & Engineering — UNSW |
?? | ?? | ?? | 0 |
|
?? |
| 83. | Yahoo |
cse.msu.edu CSE814, Homepage |
?? | ?? | ?? | 0 |
|
?? |
| 84. | Yahoo |
comlab.ox.ac.uk Oxford University Computing Laboratory: People |
?? | ?? | ?? | 0 |
|
?? |
| 85. | Yahoo |
softeng.ox.ac.uk Software Engineering at Oxford | Machine Assisted Software ... |
?? | ?? | ?? | 0 |
|
?? |
| 86. | Yahoo |
oxfordshire.co.uk Oxfordshire | |
?? | ?? | ?? | 0 |
|
?? |
| 87. | Yahoo |
users.waitrose.com John Wordsworth's Home Page |
?? | ?? | ?? | 0 |
|
?? |
| 88. | Yahoo |
math. Bookmarks of Anton Setzer (Software) |
?? | ?? | ?? | 0 |
|
?? |
| 89. | Yahoo |
is.pk comp.specification.z Frequently Asked Questions (FAQ) |
?? | ?? | ?? | 0 |
|
?? |
| 90. | Yahoo |
compu CSP||B - a combined approach to rigorous development |
?? | ?? | ?? | 0 |
|
?? |
| 91. | Yahoo |
cs.co Formal Methods |
?? | ?? | ?? | 0 |
|
?? |
| 92. | Yahoo |
cas.m CAS*707 Presentation: B-Method |
?? | ?? | ?? | 0 |
|
?? |
| 93. | Yahoo |
cfdvs FME Tools Database |
?? | ?? | ?? | 0 |
|
?? |
| 94. | Yahoo |
cetic.be VICS - un outil de vérification de raffinements B - CETIC ... |
?? | ?? | ?? | 0 |
|
?? |
| 95. | Yahoo |
matome-toka.com B-Methodのまとめ、とか |
?? | ?? | ?? | 0 |
|
?? |
| 96. | Yahoo |
dismas.jp B-Method - 百科事典ディスマス |
?? | ?? | ?? | 0 |
|
?? |
| 97. | Yahoo |
ltn.l Specifikāciju valodas: resursi |
?? | ?? | ?? | 0 |
|
?? |
| 98. | Yahoo |
ivi.f Fraunhofer IVI in Dresden - |
?? | ?? | ?? | 0 |
|
?? |
| 99. | Yahoo |
ufaqs.com news.answers/z-faq |
?? | ?? | ?? | 0 |
|
?? |
| 100. | Yahoo |
lix.p Roadmap for Enhanced Languages and Methods to Aid Verification |
?? | ?? | ?? | 0 |
|
?? |
| 101. | Yahoo |
lina. pointeurs |
?? | ?? | ?? | 0 |
|
?? |
| 102. | Yahoo |
fb9dv Formal Safety Model (Fault Tolerant Control System in B ... |
?? | ?? | ?? | 0 |
|
?? |
| 103. |
sprin A Step towards Merging xUML and CSP " B |
?? | ?? | ?? | 0 |
|
?? | |
| 104. |
dcs.kcl.ac.uk Safety and Security Critical Systems Course |
?? | ?? | ?? | 0 |
|
?? | |
| 105. |
se2c. UNCORRECTED PROOF |
?? | ?? | ?? | 0 |
|
?? | |
| 106. |
cetic.be VICS - un outil de vérification de raffinements B - CETIC |
?? | ?? | ?? | 0 |
|
?? |