Вы здесь

Главная

формальный

Связанные издания:

A Web-based Animator for Object Specifications in a Persistent Environment
A Z Specification of the Soft-Link Hypertext Model
Behaviour Analysis and Safety Conditions: A Case Study in CML
Benefits and Problems of Formal Methods
Building Formal Requirements Models for Reliable Software
Case Study in Trace Specification of Non-deterministic Modules
Case Study "Production Cell": A Comparative Study in Formal Specification and Verification
Case Study: Specification and Refinement of the PI-Bus
Categorical Modelling of trace equivalence for timed automata models with invariants
Cellular Automata and Discrete Complex Systems: Proc./22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 2016
Cellular-Neural Computations: Formal Model
Cellular-Neural Computations. Formal Model and Possible Applications
Certified Programs and Proofs: Proc./1st International Conference, CPP 2011, Kenting, Taiwan, December 2011
Certified Programs and Proofs: Proc./2nd International Conference, CPP 2012, Kyoto, Japan, December 2012
Certified Programs and Proofs: Proc./3rd International Conference, CPP 2013, Melbourne,VIC,Australia, December 2013
Chapter 2. Circuit Design in Ruby
Check It Out: On the Efficient Formal Verification of Live Sequence Charts
CIGRAPHS: A New Graph Model
Classification Schemes to Aid in the Analysis of Real-Time Systems
Colored Cause-Effect Structures
Combining and Distributing Hierarchical Systems
Combining Graphical and Formal Development of Open Distributed Systems
Combining Petri Nets and Other Formal Methods
Comparing Approaches to Data Reification
Comparing Verification Systems: Interactive Consistency in ACL2
Compiler Construction: Craftsmaship or Engineering?
Compiler Construction: Proc./24th International Conference, CC 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Compile-time Detection of Information Flow in Sequential Programs
Compiling Formal Specifications to Oz Programs
Compiling logic programs into dataflow processes
Completeness and Consistency in Hierarchical State-Based Requirements
Complexity of Computations
Component Based Design of Multitolerant Systems
Composing Specifications in VSPEC
Compositional Formal Specification of Multi-Agent Systems
Compositionality and bisimulation: A negative resalt
Compositional Programming Abstractions for Mobile Computing
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Computer Aided Verification: Proc./10th Intern. Conf., CAV 98. Vancouver, BC, Canada, June-July 1998
Computer Aided Verification: Proc./15th Intern. Conf., CAV 2003, Boulder, CO, USA, July 2003
Computer Aided Verification: Proc./17th International Conference, CAV 2005. Edinburgh, Scotland, UK, July 2005
Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006
Computer Aided Verification: Proc./7th Intern. Conf., CAV 95. Liege, Belgium, July 1995
Computer Aided Verification: Proc./8th International Conference, CAV 96. New Brunswick.NJ.USA,July/August 1996
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations
Concept Lattices and Their Applications: Selected Papers/Fourth International Conference, CLA 2006. Tunis, Tunisia, October/November 2006
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications
Connecting Formal Semantics to Constructive Intuitions
Considerations in Developing a Formally-Based Visual Programming Language Reference Manual: A Case Study on the SLAM II Language
Consistent and Complete Access Control Policies in Use Cases