Software Systems Lab
Description: Software Systems Lab
Keywords: Universität Passau FIM Informatik Sommercamp Software Systems Verification Software Model Checking
Tags: lab, software, systems, sosy, research, people, teaching, publications, contact, news, wendler, dirk, prof, beyer, eva, veitweber, vogl, max, malte, rosenthal, löwe, philipp, stefan, passau, universität, informatik, verification, sommercamp, für, fim, mathematik, fakultät, checking, und, model, modern, development, emphasize, quality, techniques,
Sosy-lab.org
|
Content Revalency:
Title: 100.00%
Description: 100.00%
Keywords: 40.00% | Document size: 5,146 bytes
More info: Whois - Trace Route - RBL Check |
|
| SOSY-LAB.ORG - Site Location | |
| Country/Flag | |
| City/Region/Zip Code | Burnaby, British Columbia, V5A |
| Organization | Simon Fraser University |
| Internet Service Provider | Simon Fraser University |
| SOSY-LAB.ORG - Domain Information | |
| Domain | SOSY-LAB.ORG [ Traceroute RBL/DNSBL lookup ] |
| Registrar | GoDaddy.com, LLC |
| Whois server | whois.pir.org |
| Created | -- |
| Updated | -- |
| Expires | -- |
| Time Left | 0 days 0 hours 0 minutes |
| Status | clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited clientRenewProhibited https://icann.org/epp#clientRenewProhibited clientTransferProhibited https://icann.org/epp#clientTransferProhibited clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited |
| DNS servers | NS19.DOMAINCONTROL.COM 64.202.165.134 NS20.DOMAINCONTROL.COM 208.109.255.10 |
| SOSY-LAB.ORG - DNS Information | |
| IP Address | 142.58.185.21 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns19.domaincontrol.com 216.69.185.10 ns20.domaincontrol.com 208.109.255.10 |
| Mail Exchange | sosy-lab.org.s7b1.psmtp.com 74.125.141.26 sosy-lab.org.s7b2.psmtp.com 64.233.186.26 sosy-lab.org.s7a1.psmtp.com 74.125.201.26 sosy-lab.org.s7a2.psmtp.com 173.194.66.26 |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Apache/2.2.14 (Ubuntu) |
| Date | Sun, 17 Apr 2011 03:36:35 GMT |
| Content-Type | text/html; charset=UTF-8 |