Websites linking back to vsl2014.at

6 websites are linking back to vsl2014.at in their content.

Total results: 6
Domains on this page: 6

Results:

Jens Otten - University of Oslo

http://portalrankings.com/info/jens-otten.de

Jens Otten at University of Oslo

Updated On (Date): 2015-Jun-29

FORSYTE - Formal Methods in Systems Engineering

http://portalrankings.com/info/forsyte.at

The FORSYTE group at Vienna University of Technology researches and provides teaching in the fields of software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems.

Welcome - Parameterized Complexity

http://portalrankings.com/info/fpt.wikidot.com

Google Analytics code: 18234656-1

Domagoj Babic's Home Page | Main / Domagoj Babic's Home Page

http://portalrankings.com/info/domagoj-babic.com

Domagoj Babic is a computer scientist. His research interests include verification, testing, and security of complex software (and hardware) systems, automated inference of system models, design and verification of distributed systems, and applied formal methods in general.

Known AddThis user account ID: domagoj
Google+ User ID: 117787081932220171479
Google Analytics code: 1381298-1
Updated On (Date): 2017-Jul-19
Expiration time: 2018-Aug-07
Website Registered On (Date): 2008-Aug-07

Jedidiah McClurg

http://portalrankings.com/info/jrmcclurg.com

Jedidiah R. McClurg, Ph.D. Candidate in Computer Science, University of Colorado Boulder

Updated On (Date): 2018-Feb-22
Expiration time: 2019-Feb-22
Website Registered On (Date): 2007-Feb-22

Vienna Summer of Logic 2014

http://portalrankings.com/info/vsl2014.at