| Model-based testing for software safety: a systematic mapping study | Software Quality Journal |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 31 | 2018 |
| Model-Based Design and Formal Verification Processes for Automated Waterway System Operations | Systems |
- Technology: Engineering (General). Civil engineering (General): Systems engineering
- Technology: Technology (General)
- Social Sciences: Sociology (General)
- Social Sciences: Sociology (General)
- Social Sciences
| 3 | 2016 |
| 10.4204/EPTCS.86.3 | Electronic Proceedings in Theoretical Computer Science |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| | 2012 |
| 10.1109/TSE.2007.70772 | IEEE Transactions on Software Engineering |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| | 2008 |
| L. Lamport, What good is temporal logic? IFIP Congress 83, 657–668 (1983) | | | | 1983 |