 |
Formal Methods Europe (Popularity:  )
http://www.fmeurope.org/
An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.
Category:
Computers - Programming - Languages - Specification
|
 |
SRI International (Popularity: )
http://www.csl.sri.com/
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
Category:
Science - Math - Logic and Foundations - Institutions
|
 |
Statestep (Popularity: )
http://statestep.com
A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision tables and combinatorial completion.
Category:
Computers - Programming - Languages - Specification
|
 |
The Trusted Design Chain Company (Popularity: )
http://www.esterel-technologies.com/
Provider of tools to develop bug-free and zero-default products and systems while reducing their overall design and validation cycle.
Category:
Computers - Programming - Development Tools
|
 |
University College Cork (Popularity: )
http://www.cs.ucc.ie/
Department of Computer Science. Research areas: Algorithms, Unified Computing, Computer Communications, Security, Computer Simulation, Constraint Based Reasoning, Digital Video Compression, Expert Systems, Intelligent Information Agents, Neural Networks ...
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
Related:
Non-formal
- Formal
- Formal Rush
- Formal Outline
- Non-formal Education
Dublin City University (Popularity: )
http://www.computing.dcu.ie
School of Computer Applications. Up to date news and listing of course modules along with lecturers pages and notes. Research areas cover AI, software engineering, formal methods, quantitive methods, language technologies, interoperability, databaseseducational ...
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
Rome, University of (Popularity: )
http://www.dsi.uniroma1.it/
Computer Science Department. Research areas include algorithms, computer architecture, computer networks, combinatorics, computational complexity, database theory and management, formal methods, paradigms of computation, pictorial and linguistic computation ...
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
Udine, University of (Popularity: )
http://www.dimi.uniud.it/
Department of Mathematics and Computer Science. Research areas include databases, software engineering, medical informatics, artificial intelligence, programming languages, formal methods, robotics, and computer vision.
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
University of Leicester (Popularity: )
http://www.mcs.le.ac.uk/
Department of Mathematics and Computer Science. The Computer Science group specializes in Semantics, Formal methods, Software engineering, Complexity theory and Finite model theory.
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
University of Stirling (Popularity: )
http://www.cs.stir.ac.uk/
Department of Computing Science and Mathematics. Research groups in computing: Applied formal methods; Neural computing; Telecommunications service engineering.
Category:
Computers - Computer Science - Academic Departments - Europe
|
 |
University of New South Wales (Popularity: )
http://www.cse.unsw.edu.au/
School of Computer Science and Engineering. Major research areas include machine learning, VLSI design, multimedia databases and formal methods in software engineering.
Category:
Computers - Computer Science - Academic Departments - Oceania
|
 |
British Columbia, University of (Popularity: )
http://www.cs.ubc.ca/
Department of Computer Science. Research areas include computer graphics, artificial intelligence, database systems, distributed systems, educational technologies, formal methods for critical systems, integrated systems, scientific computation and visualization ...
Category:
Computers - Computer Science - Academic Departments - North America
|
 |
University of Texas at Austin (Popularity: )
http://www.cs.utexas.edu/
Department of Computer Sciences. Research areas: Formal Methods; AI and Robotics; Operating, Distributed, and Software Systems; Networking and Multimedia; Compilers, Architecture, and Technology; Theoretical Computer Science; Graphics and VisualizationComponent ...
Category:
Computers - Computer Science - Academic Departments - North America
|
 |
Premier Formal Wear (Popularity: )
http://www.premiertuxedos.com/
Tuxedos, wedding tuxedos, tuxedo accessories, cufflinks and men's formal wear.
Category:
Shopping - Clothing - Formal Wear - Men's
|
 |
Computational Methods in Applied Mathematics (CMAM) (Popularity: )
http://www.cmam.info/
Publishes original research articles on numerical methods and their applications to science and engineering. Articles, abstracts, tables of contents. Secure online ordering.
Category:
Science - Math - Applications - Publications
|
 |
Joglekar Associates - Statistical Methods for Six Sigma (Popularity: )
http://www.joglekarassociates.com
Providing training and consulting on statistical methods for six sigma and business excellence. Our focus is on helping you achieve business successes through judicious use of statistical methods.
Category:
Business - Business Services - Quality Control and Tracking - Consulting
|
 |
Becky's Bridal & Formal Fabrics (Popularity: )
http://www.beckysbridalformalfabrics.com
Selling bridal and formal fabrics to the apparel industry direct from their warehouse at wholesale prices.
Category:
Business - Textiles and Nonwovens - Textiles - Fabrics
|
 |
Calvin Klein Tuxedos & Formal Wear (Popularity: )
http://www.finetuxedos.com/tuxedos/designer-tuxedos/calvin-klein-tuxedos.html
We offer a huge selection of tuxedos and men's formal wear accessories. We offer discount prices on designer tuxedos including Calvin Klein and Ralph Lauren. We are an authorized dealer in Calvin Klein formalwear.....all tuxedos are brand new, with original ...
Category:
Shopping - Clothing - Formal Wear - Men's
|
 |
Lab Methods & LabTechniques (Popularity: )
http://labprotocolsonline.blogspot.com/
Cell Biology Protocols, Cell/ Tissue Culture Protocols, Flow Cytometry Protocols, Genetics & Genomics Protocols,Immunology Protocols, Microbiology Protocols, Molecular Biology Protocols, Plant physiology Protocols, Photobiology Protocols, Lab Protocols ...
Category:
Science - Methods and Techniques
|
 |
Reliable Slip Resistance Test Methods (Popularity: )
http://www.grip-potential.com/TestMethods.htm
The range and scope of slip testing methods can be somewhat bewildering to the newcomer. Whilst there is no universally recognised 'definitive slip risk test', BS7976 (The Pendulum) probably comes closest. Research is ongoing into a more unified approach ...
Category:
Business - Business Services
|
|
