共 50 条
- [21] An algebraic approach to modular synthesis of Petri nets based simulation models of production systems [J]. ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, 1998, : 453 - 459
- [22] Symbolic Models of Networked Control Systems: A Feedback Refinement Relation Approach [J]. 2016 54TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2016, : 187 - 193
- [24] FITTING COX PROPORTIONAL HAZARDS MODELS FROM SURVEY DATA [J]. BIOMETRIKA, 1992, 79 (01) : 139 - 147
- [27] intcount: A command for fitting count-data models from interval data [J]. STATA JOURNAL, 2019, 19 (03): : 645 - 666
- [28] Fitting experimental data to models that use morphological data from public databases [J]. Journal of Computational Neuroscience, 2006, 20 : 349 - 365
- [29] Refinement of hybrid systems - From formal models to design languages [J]. LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 315 - 330
- [30] SIMULATION SYSTEMS THEORETICAL APPROACH AND INDUSTRIAL-PRODUCTION SYSTEMS [J]. ACTA POLYTECHNICA SCANDINAVICA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 1979, (31): : 66 - 70