Efficiently Checking the Determinism of AL Action Descriptions
Infotech@Aerospace
2005-01-01
Conference paper
Electronic Resource
English
Chaos and Determinism: A Paradigm
IEEE | 1986
|2012-2609 A Model-Checking Approach for HDL Descriptions Using Data Dependency Analysis
British Library Conference Proceedings | 2012
|Crew on the ISS: Creativity or determinism?
Online Contents | 2010
|Crew on the ISS: Creativity or determinism?
Online Contents | 2010
|