共 50 条
- [42] DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 969 - 973
- [43] DYNAMIC LABOR DEMAND MODELS - SPECIFICATION AND ESTIMATION USING PANEL DATA REVUE ECONOMIQUE, 1986, 37 (03): : 455 - 487
- [45] Qualitative multiple-fault diagnosis of continuous dynamic systems using behavioral modes PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 965 - 970
- [46] Mitigating the Obsolescence of Specification Models of Service-Based Systems PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1462 - 1464
- [47] A specification language and a framework for the execution of composite models in systems biology TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VII, 2006, 4230 : 163 - 184