Вы здесь

Главная

Computer Science

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

Reachability Analysis for Time Petri Nets without Overlappings of Firing Intervals
Real arithmetic based verification of prioritized time Perti nets with parameters
SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
Scalable parallel subdefinite calculations for sparse systems of constraints
Simulation of complex phenomena by Cellular Automata composition
Sisal 3.1 language structures decomposition
Situation analysis for transport network development forecast in the MIX-PROSTOR system
Synchronous versus asynchronous cellular automata for simulating nano-systems kinetics
The NumGRID metacomputing system
The PABX monitoring
The timed barbed bisimulation is decidable for timed transition systems with invariants
Timed Testing for Dense Timed Model
Typed Gurevich Machines Revisited
Unified Semantic Language: Syntax, Semantics, and Pragmatics
Using Floorplans for software visualization