共 50 条
- [21] THE EFFECTS OF FORMAL AND INFORMAL TRAINING ON TENURE AND MOBILITY IN MANUFACTURING FIRMS [J]. SOCIOLOGICAL QUARTERLY, 1990, 31 (01): : 37 - 57
- [22] The Art of Semi-Formal Bug Hunting [J]. 2016 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2016,
- [23] The Formal, the Semi Formal and the Informal: The Case of Dortmund [J]. URBANITIES-JOURNAL OF URBAN ETHNOGRAPHY, 2020, 10 : 165 - 175
- [25] Semi-Formal Critique of Theory of the justice by Rawls [J]. PHARES-REVUE PHILOSOPHIQUE ETUDIANTE DE L UNIVERSITE LAVAL, 2006, 6 : 57 - 83
- [27] Management in distributed systems: A semi-formal approach [J]. EURO-PAR 2007 PARALLEL PROCESSING, PROCEEDINGS, 2007, 4641 : 651 - +
- [28] Implementation of a semi-formal verification for embedded systems [J]. ICESS 2005: SECOND INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2005, : 204 - 210
- [29] Combining Semi-Formal and Formal Methods for the Developement of Distributed Reconfigurable Control Systems [J]. IEEE ACCESS, 2018, 6 : 70426 - 70443