共 50 条
- [42] Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations Software Quality Journal, 2022, 30 : 37 - 64
- [44] Using Agents and Open Learner Model Ontology for Providing Constructive Adaptive Techniques in Virtual Learning Environments ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), 2014, 8864 : 625 - 636
- [45] Techniques for Measuring Some Characteristics of Ionizing Radiation Beams Using Bipolar Junction Transistor as a Detector 2013 3RD INTERNATIONAL CONFERENCE ON ADVANCEMENTS IN NUCLEAR INSTRUMENTATION, MEASUREMENT METHODS AND THEIR APPLICATIONS (ANIMMA), 2013,
- [46] Design of controllers for MG3 compressor models with general characteristics using graph backstepping PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 977 - 981
- [48] Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2017, 2017, 10202 : 191 - 207