You can find information & resources of science, biotechnology, chemistry, ecology, technology, science resources, mechanical engineering, earth sciences, astrophysics, nuclear & molecular at PortalScience.com
  Browse Categories
 
Agriculture   (1556)
Alternative Science   (382)
Amateur Science   (3)
Biology   (5465)
Chemistry   (1179)
Cognitive Science   (14)
Complex Systems   (9)
Computer Science   (286)
Directories   (10)
Earth Sciences   (1983)
Ecology   (207)
Education   (274)
Energy   (249)
Engineering   (815)
Environment   (2911)
Forensics   (44)
Geography   (74)
Institutions   (376)
Mathematics   (1334)
Physics   (1327)
Resources   (590)
Shopping and Services   (1945)
Social Sciences   (8069)
Space   (2712)
Technology   (4297)
 
Detail:
 
 
Verification and Validation Laboratory - Brigham Young University
conducts research that optimizes explicit state model checking to find and interpret errors in real world design while retaining exhaustive coverage.
http://lal.cs.byu.edu/
Company Name: Link ID: 2722  
Date: Nov 30, 2001  
Category: Computer Science
Average Visitor Rating:
0.00 (out of 5)
Number of ratings: 0 Votes
Other links in this category
TUNES Project
project that addresses the way computing systems are thought about, and strives to design and implement a new computing system.
FORWISS Passau
Bavarian Research Center for Knowledge-Based Systems (Bayerisches FORschungszentrum f?r WISensbasierte Systeme)
CEDAR, SUNY at Buffalo
concerned with the science of recognition, analysis and interpretation of digital documents.
CENPARMI: Centre for Pattern Recognition and Machine Intelligence
research centre on document processing and handwriting recognition.
Parkway Gordon
suppliers of U.S. IT journals to Europe.
 
 
Home • Submit Site • About Us • Link to Us • Contact Us • Disclaimer • Privacy Policy • Blog
Information contained herein is deemed accurate and correct, but no warranty is implied or given.
© Copyright Portalscience.com Inc., 2009. All rights reserved.
At this site you may find geography, alternative-science, amateur-science, physics and astronomy, alternative science, medical physics, mathematics, physics, space, environment, forensics, energy, engineering and more.