Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "quantitative model checking"
Coursera Project Network
Skills you'll gain: Jupyter, Plot (Graphics), Microsoft Azure, Applied Machine Learning, Scikit Learn (Machine Learning Library), Data Visualization, Machine Learning, Regression Analysis
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Public Key Cryptography Standards (PKCS), Cryptography, Data Structures, Algorithms, Encryption, Theoretical Computer Science, Computer Science, Computational Thinking, Data Storage Technologies, Linear Algebra, IBM Cloud, Python Programming, Arithmetic
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronics, Program Development, Electronic Systems, System Design and Implementation, Embedded Software, Embedded Systems, Development Environment, Software Development, Integrated Development Environments, Design Software, Engineering Documentation, Laboratory Testing
Board Infinity
Skills you'll gain: .NET Framework, Testability, Unit Testing, Maintainability, Test Case, Integration Testing, Test Tools, Development Testing, Software Testing
In summary, here are 4 of our most popular quantitative model checking courses
- Compare Models with Experiments in Azure ML Studio: Coursera Project Network
- Advanced Data Structures, RSA and Quantum Algorithms: University of Colorado Boulder
- FPGA Capstone: Building FPGA Projects: University of Colorado Boulder
- Fluent Assertion: Board Infinity
