Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
Computer Programming
Functional Programming
Networking
Data Mining
Databases
Cognitive Science
Data Management
Operating Systems
Computer Graphics
Data Structures
Artificial Intelligence
Java Programming
HTML Programming
Assembly Language
Python Programming
Css
Computer Networks
Android Programming
Ruby Programming
Information Security
Formaldahyde Datalogging Meter
Formaldahyde Datalogging Meter
Formal Verification of the IEEE 802.11i WLAN Security Protocol
Formal Verification of the IEEE 802.11i WLAN Security Protocol
Formal Verification of Systems-on-Chip – Industrial Experiences and Scientific Perspectives Wolfgang Kunz
Formal Verification of Systems-on-Chip – Industrial Experiences and Scientific Perspectives Wolfgang Kunz
Formal Verification of Safety-Critical User Interfaces: A Space System Case... Manuel Sousa and Jos´e Creissac Campos and Miriam Alves
Formal Verification of Safety-Critical User Interfaces: A Space System Case... Manuel Sousa and Jos´e Creissac Campos and Miriam Alves
Formal verification of not fully symmetric systems using counter
Formal verification of not fully symmetric systems using counter
Formal Verification of Infinite-State Systems Using Boolean Methods Carnegie Mellon University
Formal Verification of Infinite-State Systems Using Boolean Methods Carnegie Mellon University
Formal Verification of Infinite-State Systems Using Boolean Methods Carnegie Mellon University
Formal Verification of Infinite-State Systems Using Boolean Methods Carnegie Mellon University
Formal verification of component-based designs Daniel Karlsson ·
Formal verification of component-based designs Daniel Karlsson ·
Formal Verification of an Autonomous Personal Robotic Assistant
Formal Verification of an Autonomous Personal Robotic Assistant
Formal verification of a C-like memory model
Formal verification of a C-like memory model
Formal usability studies require preparation of an
Formal usability studies require preparation of an
Formal Techniques for SystemC Verification Position Paper Moshe Y. Vardi
Formal Techniques for SystemC Verification Position Paper Moshe Y. Vardi
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
Formal Support for Merging and Negotiation Shiva Nejati ABSTRACT
Formal Support for Merging and Negotiation Shiva Nejati ABSTRACT
Formal Specification ©Ian Sommerville 2004 Slide 1
Formal Specification ©Ian Sommerville 2004 Slide 1
Formal Specification of the Virtual Component Interface Standard in Abstract
Formal Specification of the Virtual Component Interface Standard in Abstract
Formal Specification of MPI 2.0: Case Study in Specifying a Practical Abstract
Formal Specification of MPI 2.0: Case Study in Specifying a Practical Abstract
Formal specification and verification of TCP extended with the
Formal specification and verification of TCP extended with the
Formal Simulation and Analysis of the CASH Scheduling Peter Csaba ¨ Olveczky
Formal Simulation and Analysis of the CASH Scheduling Peter Csaba ¨ Olveczky
Formal Simulation and Analysis of the CASH Peter Csaba ¨ Olveczky
Formal Simulation and Analysis of the CASH Peter Csaba ¨ Olveczky
Formal Processor Verification - TAMU Computer Science Faculty
Formal Processor Verification - TAMU Computer Science Faculty
Formal Modelling of Output Multi-Modal HCI in Event-B: Linda Mohand-Oussaid
Formal Modelling of Output Multi-Modal HCI in Event-B: Linda Mohand-Oussaid
Formal Modelling and Analysis of the NORM Multicast Protocol Using Real-Time Maude
Formal Modelling and Analysis of the NORM Multicast Protocol Using Real-Time Maude
Formal Modeling of Resource Management for ? Frank S. de Boer
Formal Modeling of Resource Management for ? Frank S. de Boer