共 50 条
- [41] A Semi-Formal Framework for Describing Interaction Design Spaces EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2016, : 229 - 238
- [42] The Formal, the Semi Formal and the Informal: The Case of Dortmund URBANITIES-JOURNAL OF URBAN ETHNOGRAPHY, 2020, 10 : 165 - 175
- [43] Combining Semi-Formal and Formal Methods for the Developement of Distributed Reconfigurable Control Systems IEEE ACCESS, 2018, 6 : 70426 - 70443
- [44] Semi-formal, not semi-realistic. A new approach to describing software components TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, SYSTEMS AND ARCHITECTURES, 2003, 732 : 197 - 207
- [45] A semi-formal methodology for the functional validation of an industrial DSP system ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 205 - 208
- [47] A semi-formal specification for a generic model of artificial stock markets ICCS 2010 - INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, PROCEEDINGS, 2010, 1 (01): : 1459 - 1468
- [48] A Semi-Formal Approach to Describing Semantics of Data Modeling Patterns INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2023, PT II, 2023, 13996 : 14 - 26
- [49] Semi-formal static and dynamic modeling and categorization of airport checkpoints SAFETY AND RELIABILITY: METHODOLOGY AND APPLICATIONS, 2015, : 1721 - 1731
- [50] Enhancing ESys.Net with a semi-formal verification layer 16TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, PROCEEDINGS, 2004, : 388 - 391