Artificial Intelligence
The use of aggregation in causal simulation
Artificial Intelligence
Constructing and analyzing specifications of real world systems
Constructing and analyzing specifications of real world systems
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
A subclass of Petri Nets as design abstraction for parallel architectures
ACM SIGARCH Computer Architecture News
| Hi-index | 0.00 |